mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-03-29 10:11:58 -07:00
Code Issues Projects Releases Wiki Activity

Adding example command for when the branch is already in the ravenbrook repo.

Browse source
This commit is contained in:
Richard Brooksby 2023-01-13 04:49:52 +00:00
parent 31ff76abea
commit de1f95fa0d
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -159,7 +159,9 @@ These steps will only rarely need repeating.
If the pull request is from the `Ravenbrook MPS repo on GitHub`_,
and its branch already has a conventional name, then use the
existing name.
existing name, e.g. ::
git fetch github branch/2023-01-06/speed-hax:branch/2023-01-06/speed-hax
If the branch to be merged is in a third-party repo, such as a fork
not on GitHub, you can fetch it using a remote, e.g.::