name: Maintenance

on:
  schedule:
    # 1st of each month, at 02:30 UTC.
    - cron: '30 02 1 * *'
  workflow_dispatch:

jobs:
  maintenance:
    runs-on: ubuntu-latest
    name: Maintenance
    steps:
      - name: Checkout
        uses: actions/checkout@v7
        with:
          # I think that by default, pushes don't trigger other workflows, and
          # you need a separate token for that:
          # https://docs.github.com/en/actions/how-tos/write-workflows/choose-when-workflows-run/trigger-a-workflow#triggering-a-workflow-from-a-workflow
          token: '${{ secrets.GH_TOKEN }}'
      - name: Set up Ruby
        uses: ruby/setup-ruby@v1
        with:
          bundler-cache: true
      - name: Configure git
        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"
      - name: Run maintenance
        run: make maintenance