<div dir="ltr"><div>I also use the github website. <br></div><div>Note that when you do your initial branch push, it displays a message in the command line that gives you the URL to open the new pr.</div><div><br></div><div>-- vyzo<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Nov 11, 2019 at 8:20 PM Lassi Kortela <<a href="mailto:lassi@lassi.io">lassi@lassi.io</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> Could you guys share the steps that work for you?  Do you use “hub”?<br>
<br>
I just use the GitHub website. When you go to the front page for a repo <br>
where you just pushed some code, it shows a small pop-up that says "you <br>
just pushed code to branch xyz" with a "create PR" button next to it. <br>
When you click that button it takes you to a pre-filled PR creation form <br>
where you often don't need to do anything else than click OK.<br>
<br>
"hub" is probably smarter but I find the above shortcut quite <br>
effortless. All the GitHub repos you use will be in the web browser's <br>
recently used URLs anyway, so you only need to type part of the repo's <br>
name in the address bar to go to it.<br>
<br>
_______________________________________________<br>
Gambit-list mailing list<br>
<a href="mailto:Gambit-list@iro.umontreal.ca" target="_blank">Gambit-list@iro.umontreal.ca</a><br>
<a href="https://mailman.iro.umontreal.ca/cgi-bin/mailman/listinfo/gambit-list" rel="noreferrer" target="_blank">https://mailman.iro.umontreal.ca/cgi-bin/mailman/listinfo/gambit-list</a><br>
</blockquote></div>