Skip to content

Sync repos

Sync repos #490

Workflow file for this run

# 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@90c0b4d50224381109327f0513a7e7a90a766b2f
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