[gambit-list] Hailing Marc's github PRs

Lassi Kortela lassi at lassi.io
Mon Nov 11 13:10:03 EST 2019


Indeed, resisting the temptation to push commits directly to master is a 
winning move for multi-contributor repos :)

GitHub PRs correspond 1:1 to Git branches, so if you do all your work in 
topic branches, it's almost effortless to make a PR for each branch. The 
branches can come from the main repo or any fork: equally easy.

As a bonus, all popular CI services automatically run CI for each PR, so 
if you go via PR you're merging only tested code to master.

IIRC GitHub has some branch protection system so you can block direct 
commits to master. The switch is somewhere in the repo's settings.




More information about the Gambit-list mailing list