summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJason R. Coombs <jaraco@jaraco.com>2018-12-29 04:45:42 -0500
committerJason R. Coombs <jaraco@jaraco.com>2018-12-29 04:45:42 -0500
commitcdd47ac62b837e2a59642e12cfbd53431e77883b (patch)
tree93ede140a4717140861e772ac3f1f337ad72de83
parent6689d21735e02a5db52f25f978366cb072091af2 (diff)
downloadpython-setuptools-git-docs/auto-merge.tar.gz
Add documents on auto-mergedocs/auto-merge
-rw-r--r--docs/developer-guide.txt11
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/developer-guide.txt b/docs/developer-guide.txt
index c011491a..39bf4717 100644
--- a/docs/developer-guide.txt
+++ b/docs/developer-guide.txt
@@ -89,6 +89,17 @@ code changes. See the following for an example news fragment:
$ cat changelog.d/1288.change.rst
Add support for maintainer in PKG-INFO
+-------------------
+Auto-Merge Requests
+-------------------
+
+To support running all code through CI, even lightweight contributions,
+the project employs Mergify to auto-merge pull requests tagged as
+auto-merge.
+
+Use ``hub pull-request -l auto-merge`` to create such a pull request
+from the command line after pushing a new branch.
+
-------
Testing
-------