mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-04-21 13:31:37 -07:00
Code Issues Projects Releases Wiki Activity

Making it clearer how to do a fetch from a pull request by number.

Browse source
This commit is contained in:
Richard Brooksby 2023-01-13 18:16:57 +00:00
parent d2ab43afa1
commit 0f860789a6
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
mps/procedure/pull-request-merge.rst
View file

@ -182,7 +182,11 @@ These steps will only rarely need repeating.
Otherwise, if the pull request is in the `Ravenbrook MPS repo on
GitHub`_, fetch it from the pull request and give it a conventional
name, e.g. ::
name, like this ::
git fetch github pull/$PR/head:$BRANCH
For example ::
git fetch github pull/93/head:branch/2023-01-06/speed-hax