Sync repos #479

	# Sync repos
	name: Sync repos

	on:
	push:
	branches:
	- 'main'
	workflow_dispatch:

	jobs:
	sync-repo:
	if: ${{ github.repository == 'zama-ai/concrete-ml' }}
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repo
	uses: actions/checkout@9bb56186c3b09b4f86b1c65136769dd318469633
	with:
	fetch-depth: 0
	lfs: true

	# Initial action can be found here: https://github.com/wei/git-sync
	# The issue is that it does not handle LFS files when pushing, so we had to fork it and
	# add the feature
	# - name: git-sync
	# uses: RomanBredehoft/git-sync@2e68fe0b118adbae6d9293ea7759227b8191e4af
	# with:
	# source_repo: "zama-ai/concrete-ml"
	# source_branch: "main"
	# destination_repo: "https://${{ secrets.BOT_USERNAME }}:${{ secrets.CONCRETE_ACTIONS_TOKEN }}@github.com/${{ secrets.SYNC_DEST_REPO }}.git"
	# destination_branch: "main"
	# push_lfs: true

	- name: Custom git-sync
	run: \|
	SOURCE_BRANCH="main"
	DESTINATION_BRANCH="main"

	SOURCE_REPO="https://github.com/zama-ai/concrete-ml.git"
	DESTINATION_REPO="https://${{ secrets.BOT_USERNAME }}:${{ secrets.CONCRETE_ACTIONS_TOKEN }}@github.com/${{ secrets.SYNC_DEST_REPO }}.git"

	echo "SOURCE=$SOURCE_REPO:$SOURCE_BRANCH"
	echo "DESTINATION=$DESTINATION_REPO:$DESTINATION_BRANCH"

	git remote add destination "$DESTINATION_REPO"

	echo "Push LFS files:"
	git lfs push destination "${SOURCE_BRANCH}:${DESTINATION_BRANCH}"

	echo "Push remaining files:"
	git push destination "${SOURCE_BRANCH}:${DESTINATION_BRANCH}" -f

Provide feedback