Add files via upload

workflows/repo-mirror.txt

@@ -0,0 +1,28 @@
+on:
+  workflow_call:
+    inputs:
+      repo:
+        required: true
+        type: string
+jobs:
+  mirror:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - run: |
+          shopt -s dotglob extglob
+          rm -rf !(.git|.github)
+      - run: |
+          u='${{ inputs.repo }}'
+          curl -fsSL -o src.tgz https://codeload.github.com/$u/tar.gz/master
+          tar -xzf src.tgz
+          d=$(tar -tzf src.tgz|head -1|cut -d/ -f1)
+          shopt -s dotglob extglob
+          mv "$d"/!(".github") .
+          rm -rf "$d" src.tgz
+      - run: |
+          git config user.name "github-actions"
+          git config user.email "github-actions@github.com"
+          git add .
+          git commit -m "This build was committed by a bot."
+          git push