pr-followup.yaml

name: Pull Request Follow-Up Flow

on:
 # Checking out with pull_request_target should be safe because the jobs are run only when the PR is merged.
 pull_request_target:
   types: [closed]

jobs:
  follow-up:
    name: Pull Request Follow-Up
    runs-on: ubuntu-latest
    if: github.event.pull_request.merged == true
    steps:

      - uses: actions/github-script@v2
        id: head-branch
        with:
          github-token: ${{secrets.GITHUB_TOKEN}}
          script: |
            const pull_request = await github.pulls.get({
              owner: context.repo.owner,
              repo: context.repo.repo,
              pull_number: context.issue.number
            });
            return {
              ref: pull_request.data.head.ref,
              repo: pull_request.data.head.repo.full_name,
              body: pull_request.data.body.replace(/\r?\n/g, '\n')
            };

      - uses: actions/checkout@v2
        with:
          fetch-depth: 0
          submodules: true

      - uses: tibdex/github-app-token@v1
        id: generate-token
        with:
          app_id: ${{ secrets.SG_REPO_GH_APP_ID }}
          private_key: ${{ secrets.SG_REPO_GH_APP_PRIV_KEY }}

      - name: Update snapshots
        run: |
          set -exo pipefail
          git branch -v
          git remote -v
          git log -n 2
          echo "$PR" | jq -r '.body' | sed -e '1,/^# Automatic follow-ups$/d' -e '/^- /!d' -e 's/^- \[[xX]\] Add to snapshot `\([^`]*\)` :: /\1.opam -- /' -e '/^[-+. [:alnum:]]*$/!d' | xargs -r -L1 scripts/update-snapshot --base 'origin/master~1' --opam
          git status
        env:
          PR: ${{ steps.head-branch.outputs.result }}

      - name: Create Pull Request
        uses: peter-evans/create-pull-request@v6
        id: cpr
        with:
          token: ${{ steps.generate-token.outputs.token }}
          delete-branch: true
          commit-message: Take snapshots
          branch: 'follow-up/${{ github.event.pull_request.number }}'
          title: '[Automated] Follow up #${{ github.event.pull_request.number }}'
          body: |
            Follow up #${{ github.event.pull_request.number }}
          labels: |
            automated pr
#          assignees: na4zagin3
#          reviewers: na4zagin3
          team-reviewers: |
            owners
            maintainers