Matt Sturgeon 5281e8c583 ci/update: allow disabling re-applying commits ... Most of the time we want to re-apply "manual"/"additional" commits from the already open PR, however it is possible we may wish to run the CI without doing so. Add an on-by-default tickbox to toggle the `re_apply` step.		2025-02-05 17:06:17 +00:00
..
build_documentation.yml	ci: drop 24.05 support	2025-01-19 10:32:11 +00:00
flakehub-publish-rolling.yml	ci: switch to actions/checkout@v4	2023-11-23 15:05:58 +01:00
flakestry-publish-rolling.yml	ci/flakestry: debugging	2024-03-19 14:56:02 +01:00
update-other.yml	ci/update-other: use a job matrix	2025-01-25 18:42:17 +00:00
update.yml	ci/update: allow disabling re-applying commits	2025-02-05 17:06:17 +00:00