workflows: add a maintenance workflow

1 files changed, 31 insertions, 0 deletions

diff --git a/.github/workflows/maintenance.yml b/.github/workflows/maintenance.yml
new file mode 100644
index 0000000..b35a4eb
--- /dev/null
+++ b/.github/workflows/maintenance.yml
@@ -0,0 +1,31 @@
+name: Maintenance
+
+on:
+  schedule:
+    # Weekly, at 02:30 UTC on Friday (somewhat randomly chosen).
+    - cron: '30 02 * * 5'
+  workflow_dispatch:
+
+jobs:
+  maintenance:
+    runs-on: ubuntu-latest
+    name: Maintenance
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v6
+        with:
+          # I think that by default, pushes don't trigger other workflows, and
+          # you need a separate token for that: https://github.com/orgs/community/discussions/37103
+          token: '${{ secrets.GH_TOKEN }}'
+      - name: Set up Ruby
+        uses: ruby/setup-ruby@v1
+        with:
+          bundler-cache: true
+      - name: Run maintenance
+        id: maintenance
+        run: |
+          # See https://github.com/actions/checkout#push-a-commit-using-the-built-in-token
+          git config user.name "github-actions[bot]"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
+
+          make maintenance