Commit Graph

5 Commits

Author SHA1 Message Date
Thaddeus Crews
770def4e5e Update git-local-merge.py 2024-12-06 10:39:01 -06:00
Rémi Verschelde
b810fbe4a1 Add Thaddeus' Python rewrite of my bash script for PR batches 2024-12-05 22:41:36 +01:00
Rémi Verschelde
c96b40855e Add more details about how to merge a batch of PRs 2024-12-05 21:55:16 +01:00
Rémi Verschelde
f90d0c1fc5 Add release management procedure for building releases 2024-11-26 00:14:03 +01:00
Rémi Verschelde
b8d6550957 Add release management procedure for the merge queue 2024-11-19 13:25:58 +01:00