sideshowbarker 4a2d5bcf89 CI: Make the notes-push.yml workflow fetch the entire repo history ... 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.		2024-07-20 09:30:43 +02:00
..
actions	LibGfx: Decode AVIF images	2024-07-09 08:15:47 +02:00
workflows	CI: Make the notes-push.yml workflow fetch the entire repo history	2024-07-20 09:30:43 +02:00
CODEOWNERS	Meta: Remove myself from CODEOWNERS	2024-06-29 20:26:20 -06:00
dependabot.yml	Meta: Add dependabot configuration to update github actions	2023-01-16 20:59:23 -08:00
FUNDING.yml	Meta: Add Donorbox link in FUNDING.yml	2024-07-10 08:12:39 +02:00
stale.yml	Meta: Instruct stale-bot to ignore pr-is-blocked PRs	2022-10-15 12:05:57 +02:00