.github/workflows/post-release.yml

name: post-release
on:
  release:
    branches: [master]
    types: [released]

defaults:
  run:
    shell: bash -euv -o pipefail {0}

jobs:
  post-release:
    runs-on: ubuntu-latest
    steps:
      # trigger post-release in dependency repo, this indirection allows the
      # dependency repo to be updated often without affecting this repo. At
      # the time of this comment, the dependency repo is responsible for
      # creating PRs for other dependent repos post-release.
      - name: trigger-post-release
        continue-on-error: true
        run: |
          curl -sS -X POST -H "authorization: token ${{secrets.BOT_TOKEN}}" \
            "$GITHUB_API_URL/repos/${{secrets.POST_RELEASE_REPO}}/dispatches" \
            -d "$(jq -n '{
              event_type: "post-release",
              client_payload: {
                repo: env.GITHUB_REPOSITORY,
                version: "${{github.event.release.tag_name}}",
              },
            }' | tee /dev/stderr)"