Update push_gitlab.yml #9

	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
	run: \|
	git remote add gitlab https://oauth2:${{ secrets.GITLAB_TOKEN }}@${{ secrets.GITLAB_URL }}

	- name: Fetch all branches from GitLab
	run: \|
	git fetch gitlab --prune

	- name: Push all branches to GitLab
	run: \|
	# Push all local branches to GitLab
	git branch -r \| grep -v '\->' \| while read remote_branch; do
	local_branch="${remote_branch#*/}" # Remove the 'origin/' prefix
	git push gitlab "${local_branch}:${local_branch}"
	done

Provide feedback