Stream: Coq devs & plugin devs

Topic: git prw: a command to easily fetch & force-push a PR branch


view this post on Zulip Erik Martin-Dorel (Apr 30 2021 at 22:37):

Dear Coq devs,
In case it'd be useful during some of your workflows, FYI I've just released two simple scripts git pr and git prw, which can be integrated in Git just like aliases.
The aim is just:

(see this post for details)
HTH

view this post on Zulip Emilio Jesús Gallego Arias (Apr 30 2021 at 22:39):

Interesting @Erik Martin-Dorel , what is the difference with hub checkout PRURL? and variants ?

view this post on Zulip Erik Martin-Dorel (Apr 30 2021 at 22:48):

Hi @Emilio Jesús Gallego Arias, two main differences:

view this post on Zulip Théo Zimmermann (May 01 2021 at 08:14):

Great! I have personally been using gh pr, which is the official GitHub command line and has the same limitations as hub (very good for checking out a PR, but doesn't handle pushing back). But I noticed that I can still push without adding a remote, by passing the remote URL in the list of git push arguments.

view this post on Zulip Lasse (May 01 2021 at 14:16):

Note for Emacs users: With the Magit Forge plugin, you can also easily checkout a pull request. It also adds a new remote so that you can push. https://magit.vc/manual/forge/Branching.html#Branching

view this post on Zulip Erik Martin-Dorel (May 01 2021 at 15:23):

Hi @Lasse, as a Magit user (but not yet a Forge user :), thanks for sharing this tip!


Last updated: Oct 16 2021 at 07:02 UTC