added a wf to sync with the public repo

haichangsi · Dec 28, 2023 · 4b42f8b · 4b42f8b
1 parent a707885
commit 4b42f8b
Showing 1 changed file with 25 additions and 0 deletions.
diff --git a/.github/workflows/sync_public.yml b/.github/workflows/sync_public.yml
@@ -0,0 +1,25 @@
+# SPDX-FileCopyrightText: Intel Corporation
+#
+# SPDX-License-Identifier: BSD-3-Clause
+
+name: "Sync repos"
+
+on:
+  push:
+    branches:
+      - mirror
+
+jobs:
+  checks:
+    runs-on: borealis
+    env:
+      PAT: ${{secrets.PAT}}
+      usr: ${{secrets.USR}}
+    steps:
+    - uses: actions/checkout@v4
+      with:
+        token: ${{secrets.PAT}}
+    - run: |
+          git clean -x -f -e .github/workflows/sync_public.yml
+          git remote add upstream https://${{env.USR}}:${{env.PAT}}@github.com/haichangsi/distributed-ranges.git
+          git push --no-thin -f upstream ${{github.event.repository.default_branch}}:mirror