Create autoupdate.yaml

.github/workflows/autoupdate.yaml

@@ -0,0 +1,21 @@
+name: autoupdate
+on:
+  # This will trigger on all pushes to all branches.
+  # push: {}
+  # Alternatively, you can only trigger if commits are pushed to certain branches, e.g.:
+  push:
+    branches:
+      - main
+  #     - unstable
+jobs:
+  autoupdate:
+    name: autoupdate
+    runs-on: ubuntu-22.04
+    steps:
+      - uses: actions/checkout@v4
+      - run: |
+          git checkout for_repl
+          git rebase master
+          git push <origin> for_repl
+        env:
+          GITHUB_TOKEN: '${{ secrets.GITHUB_TOKEN }}'