Jack Grigg feb1f41ce6 CI: Check out both the base and PR branches for "recent base" check ... This should hopefully ensure that we end up with a single Git repository that has both branches in it, enabling `git merge-base --is-ancestor` to work correctly.		2023-03-16 16:22:28 +00:00
..
ISSUE_TEMPLATE	Fix typos	2021-11-14 16:27:09 +02:00
workflows	CI: Check out both the base and PR branches for "recent base" check	2023-03-16 16:22:28 +00:00
dependabot.yml	CI: Add Dependabot config to keep Actions up-to-date	2021-09-01 01:08:05 +01:00