ladybird/.github/workflows/notes-push.yml

name: Push notes
on:
  push:
    branches:
      - master
permissions: write
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 }}