Silvan Mosberger 369cfa02da ci: Add review request scripts ... Also post a comment in case base branch is wrong This guides newcomers in how to smoothly handle the potentially scary situation of having thousands of commits listed in a PR. While CI shows the same, people might not even look at CI if the PR looks botched.		2024-10-08 22:14:01 +02:00
..
default.nix	ci: Add review request scripts	2024-10-08 22:14:01 +02:00
dev-branches.txt	ci: Add review request scripts	2024-10-08 22:14:01 +02:00
get-reviewers.sh
request-reviews.sh
verify-base-branch.sh