name: Push notes on: push: branches: - master permissions: contents: write jobs: build: if: github.repository == 'LadybirdBrowser/ladybird' runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 with: fetch-depth: 0 - 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/*" || true env: GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}