[gambit-list] Hailing Marc's github PRs

Jaime Fournier jaimef at linbsd.org
Mon Nov 11 14:52:00 EST 2019


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 wrote:

>> On Nov 11, 2019, at 1:10 PM, Lassi Kortela <lassi at 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 at iro.umontreal.ca
> https://mailman.iro.umontreal.ca/cgi-bin/mailman/listinfo/gambit-list
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.iro.umontreal.ca/pipermail/gambit-list/attachments/20191111/a6223e76/attachment.htm>


More information about the Gambit-list mailing list