diff options
| -rw-r--r-- | docs/developer-guide.txt | 11 |
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 ------- |