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

Clarifying that you can use your existing repo.

Browse source
This commit is contained in:
Richard Brooksby 2023-01-08 09:40:55 +00:00
parent 0432255d38
commit ab78c4ffca
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -118,7 +118,8 @@ These steps will only rarely need repeating.
#. Clone the Ravenbrook MPS GitHub repository and name the remote
"github". This will give you access to Travis CI to build and test
the merge. ::
the merge. (If you're an MPS developer you can use your existing
repo.) ::
git clone -o github git@github.com:Ravenbrook/mps.git