Workflow to update remote repository

.github/workflows/update_remote.yml

@@ -0,0 +1,30 @@
+name: Pull upstream automatically from https://gem5.googlesource.com/public/gem5
+
+on:
+  # Possibility to run it manually
+  workflow_dispatch:
+  # Automated
+  schedule:
+    # Run this every day at 02:22 UTC
+    - cron: '22 2 1 * *'
+
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+      # Checkout the current repo
+      - uses: actions/checkout@v3
+      # Fetch the history and unshallow the repo so that it can be used
+      - name: Fetch all history for all tags and branches
+        run: git fetch --prune --unshallow
+      # Pull the detached remote and do the magic
+      - name: Pull Detached Remote
+        uses: litetex/pull-detached-remote@<VERSIONTAG>
+        with:
+          upstreamrepo: https://gem5.googlesource.com/public/gem5
+          upstreambranch: master
+        env:
+          GITHUB_PAT: ${{ secrets.GH_PAT }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}