zookeeper-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Michael Han (JIRA)" <j...@apache.org>
Subject [jira] [Created] (ZOOKEEPER-2830) Pre-commit tooling improvement: auto close github pull request when a pull request is merged
Date Fri, 30 Jun 2017 20:52:00 GMT
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)

Mime
View raw message