1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-04-24 15:22:26 -07:00

Adding link to pull request template docs.

This commit is contained in:
Richard Brooksby 2023-01-10 11:04:56 +00:00
parent 904a344200
commit 2c58a15841

View file

@ -303,7 +303,8 @@ So, `once Git becomes the home
<https://github.com/Ravenbrook/mps/issues/98>`_ we will be able to use
the button to to replace sections 3 and 4, the procedure, but not
section 2, the pre-merge checklist. We may be able to incorporate the
checklist into GitHub's interface.
checklist into GitHub's interface using a `pull request template
<https://docs.github.com/en/communities/using-templates-to-encourage-useful-issues-and-pull-requests/creating-a-pull-request-template-for-your-repository>`_.
5.3. Why the "durable" branch names?