Commit Graph

7 Commits

Author SHA1 Message Date
Rémi Verschelde
1387482163 Merge pull request #1 from godotengine/git-local-merge
Update git-local-merge.py
2024-12-07 00:56:27 +01:00
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
Rémi Verschelde
8449f83691 Add README 2024-11-19 12:22:33 +01:00