Michael Han created ZOOKEEPER-2830:
--------------------------------------
Summary: Pre-commit tooling improvement: auto close github pull
request when a pull request is merged
Key: ZOOKEEPER-2830
URL: https://issues.apache.org/jira/browse/ZOOKEEPER-2830
Project: ZooKeeper
Issue Type: Improvement
Components: scripts
Affects Versions: 3.5.3, 3.4.10
Reporter: Michael Han
Priority: Minor
The git pull request commit flow script (zk-merge-pr.py) has a feature that
sometimes (e.g. if skipping "resolve JIRA" step, it happened a couple of times
to me), it will not automatically close the pull request once a pull request is
merged. An improvement here would be nice, so every merge will follow with the
closing of merged pull request, otherwise either the original author of the
pull request, or Apache Infra has to close the pull request which is less
convenient.
--
This message was sent by Atlassian JIRA
(v6.4.14#64029)
