diff options
| author | Jason R. Coombs <jaraco@jaraco.com> | 2018-12-29 04:45:42 -0500 |
|---|---|---|
| committer | Jason R. Coombs <jaraco@jaraco.com> | 2018-12-29 04:45:42 -0500 |
| commit | cdd47ac62b837e2a59642e12cfbd53431e77883b (patch) | |
| tree | 93ede140a4717140861e772ac3f1f337ad72de83 /docs/developer-guide.txt | |
| parent | 6689d21735e02a5db52f25f978366cb072091af2 (diff) | |
| download | python-setuptools-git-docs/auto-merge.tar.gz | |
Add documents on auto-mergedocs/auto-merge
Diffstat (limited to 'docs/developer-guide.txt')
| -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 ------- |