CI: Add notes-push.yml, for updating commit Notes on push to master

This change, for each commit pushed/merged to master:

- causes new git Notes with GitHub PR/issue/reviewer/author links to be
  auto-generated for that commit

- pushes the updated refs/notes/commits tree+references back to the repo
This commit is contained in:
sideshowbarker 2024-07-19 14:56:35 +09:00 committed by Andreas Kling
parent 0c1405ad6d
commit fe3f1c743c
Notes: sideshowbarker 2024-07-20 03:28:10 +09:00

17
.github/workflows/notes-push.yml vendored Normal file
View file

@ -0,0 +1,17 @@
name: Push notes
on:
push:
branches:
- master
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: fregante/setup-git-user@v2
- run: |
git fetch origin "refs/notes/*:refs/notes/*"
curl -fsSLO https://sideshowbarker.github.io/git-gloss/git-gloss && bash ./git-gloss
git push origin "refs/notes/*"
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}