Update push_gitlab.yml #11

	name: Mirror to GitLab

	on:
	push:
	branches:
	- '*'

	jobs:
	mirror_to_gitlab:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout Repository
	uses: actions/checkout@v2
	with:
	fetch-depth: 0 # Fetch all history to ensure all branches are included

	- name: Set up Git
	run: \|
	git config --global user.name 'GitHub Actions'
	git config --global user.email '[email protected]'

	- name: Add GitLab remote and push
	env:
	GITLAB_URL: ${{ secrets.GITLAB_URL }}
	GITLAB_TOKEN: ${{ secrets.GITLAB_TOKEN }}
	run: \|
	git remote set-url origin https://oauth2:$GITLAB_TOKEN@$GITLAB_URL
	git push origin --all

Provide feedback