mirror of
https://github.com/fergalmoran/ladybird.git
synced 2026-02-17 21:26:44 +00:00
4a2d5bcf89
This change makes the notes-push.yml·workflow fetch the entire history on each push, rather than just the one HEAD commit it otherwise sees. Because we push multiple commits from PR merges, git-gloss need access on each push to an arbitrary number of commits (however many commits were pushed in a PR that got merged). There’s no easy way from GH Actions to know how may commits got pushed at the same time. So we instead fetch the whole history.
22 lines
523 B
YAML
22 lines
523 B
YAML
name: Push notes
|
|
on:
|
|
push:
|
|
branches:
|
|
- master
|
|
permissions:
|
|
contents: write
|
|
jobs:
|
|
build:
|
|
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/*"
|
|
env:
|
|
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|