auto-merge-ci.yaml

name: Automatic merge if CI builds
on:
  push:
    branches:
      - 'update/*'

jobs:
  wait-for-check-regexp:
    runs-on: ubuntu-latest
    if: github.actor == 'numtide-bot'
    steps:
      - uses: actions/checkout@v3
        with:
          fetch-depth: 0
          token: ${{ secrets.GH_TOKEN_FOR_UPDATES }}
      - name: Wait on tests
        uses: lewagon/wait-on-check-action@v1.1.2
        with:
          ref: ${{ github.sha }}
          repo-token: ${{ secrets.GH_TOKEN_FOR_UPDATES }}
          running-workflow-name: wait-for-check-regexp
          check-regexp: (check|devShell).+
          verbose: true
      - name: Automerge
        run: |
          git config --local user.email "github-actions[bot]@users.noreply.github.com"
          git config --local user.name "github-actions[bot]"
          git checkout master
          git merge ${GITHUB_REF#refs/heads/}
          # attempt to reduce race condition if some other ci job already pushed in the meantime
          git pull --rebase origin master
          git push origin master