Fix action version #8

	name: Push to GitLab

	on:
	push:
	branches:
	- gitlab

	jobs:
	push_to_gitlab:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v2

	- name: Ensure main branch exists
	run: \|
	git checkout -b main \|\| git checkout main

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

	- name: Add GitLab SSH key
	uses: webfactory/[email protected]
	with:
	ssh-private-key: ${{ secrets.GITLAB_SSH_PRIVATE_KEY }}

	- name: Add GitLab remote and push
	run: \|
	git remote add gitlab [email protected]:nyu/tim-reasoning.git
	git push -u gitlab main

Provide feedback