[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