There is a pip package called git-pull-request. Also the ruby gem ghi should also provide it.
So a 'pip install git-pull-request' should allow 'git pull-request' to work from the repo directory


Sent from ProtonMail mobile



-------- Original Message --------
On Nov 11, 2019, 10:13 AM, Marc Feeley < feeley@iro.umontreal.ca> wrote:


> On Nov 11, 2019, at 1:10 PM, Lassi Kortela <lassi@lassi.io> wrote:
>
> 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.

Yes I see all the advantages now. But bad habits are hard to get rid of… I still haven’t found a painless way to do the github pull-requests from the command-line.

Could you guys share the steps that work for you? Do you use “hub”?

Marc

_______________________________________________
Gambit-list mailing list
Gambit-list@iro.umontreal.ca
https://mailman.iro.umontreal.ca/cgi-bin/mailman/listinfo/gambit-list