mirror of
https://github.com/zama-ai/tfhe-rs.git
synced 2026-01-09 14:47:56 -05:00
9918dacd6a
The term "bpr" means Branch Protection Rule. It helps one to identify any job that must pass before being able to merge to the base branch.
38 lines
1.2 KiB
YAML
38 lines
1.2 KiB
YAML
# Sync repos
|
|
name: sync_on_push
|
|
|
|
on:
|
|
push:
|
|
branches:
|
|
- 'main'
|
|
workflow_dispatch:
|
|
|
|
permissions: {}
|
|
|
|
jobs:
|
|
sync-repo:
|
|
name: sync_on_push/sync-repo
|
|
if: ${{ github.repository == 'zama-ai/tfhe-rs' }}
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Checkout repo
|
|
uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8
|
|
with:
|
|
fetch-depth: 0
|
|
persist-credentials: 'false'
|
|
token: ${{ secrets.REPO_CHECKOUT_TOKEN }}
|
|
- name: git-sync
|
|
uses: valtech-sd/git-sync@e734cfe9485a92e720eac5af8a4555dde5fecf88
|
|
with:
|
|
source_repo: "zama-ai/tfhe-rs"
|
|
source_branch: "main"
|
|
destination_repo: "https://${{ secrets.BOT_USERNAME }}:${{ secrets.FHE_ACTIONS_TOKEN }}@github.com/${{ secrets.SYNC_DEST_REPO }}"
|
|
destination_branch: "main"
|
|
- name: git-sync tags
|
|
uses: wei/git-sync@55c6b63b4f21607da0e9877ca9b4d11a29fc6d83
|
|
with:
|
|
source_repo: "zama-ai/tfhe-rs"
|
|
source_branch: "refs/tags/*"
|
|
destination_repo: "https://${{ secrets.BOT_USERNAME }}:${{ secrets.FHE_ACTIONS_TOKEN }}@github.com/${{ secrets.SYNC_DEST_REPO }}"
|
|
destination_branch: "refs/tags/*"
|