From cdd47ac62b837e2a59642e12cfbd53431e77883b Mon Sep 17 00:00:00 2001
From: "Jason R. Coombs" <jaraco@jaraco.com>
Date: Sat, 29 Dec 2018 04:45:42 -0500
Subject: Add documents on auto-merge

---
 docs/developer-guide.txt | 11 +++++++++++
 1 file changed, 11 insertions(+)

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
 -------
-- 
cgit v1.2.3