mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-03-27 01:01:52 -07:00
Code Issues Projects Releases Wiki Activity

Unfortunately, inserting this reference resets the numbered list. backed out for now.

Browse source
This commit is contained in:
Richard Brooksby 2023-01-14 12:54:25 +00:00
parent cb813a125f
commit baadb2eae0
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -93,8 +93,6 @@ considering `2. Purpose`_.
talk to them about the matter. *Do not start the merging
procedure*.
.. _checked pull request build results from CI:
#. Does the branch, and its merge, build and pass tests?
CI should have run builds of both the branch, and a *trial merge*
@ -247,7 +245,7 @@ These steps will only rarely need repeating.
- the merge was non-trivial
- there has been any rebasing (see step 7)
- you haven't `checked pull request build results from CI`_
- there were failed or missing build results from CI
then build and test the merge result locally if possible. For
example::
@ -266,7 +264,7 @@ These steps will only rarely need repeating.
- the merge was non-trivial
- there has been any rebasing (see step 7)
- you haven't `checked pull request build results from CI`_
- there were failed or missing build results from CI
then push the merge to a fresh branch in the `Ravenbrook MPS repo
on GitHub`_ to trigger CI to build and testing on all target