Uploaded image for project: 'ZooKeeper'
  1. ZooKeeper
  2. ZOOKEEPER-2830

Pre-commit tooling improvement: auto close github pull request when a pull request is merged

    XMLWordPrintableJSON

Details

    • Improvement
    • Status: Resolved
    • Minor
    • Resolution: Won't Fix
    • 3.4.10, 3.5.3
    • None
    • scripts
    • None

    Description

      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.

      Attachments

        Issue Links

          is superceded by

          Improvement - An improvement or enhancement to an existing feature or task. ZOOKEEPER-4756 Merge script should use GitHub api to merge pull requests

          • Major - Major loss of function.
          • Resolved

          Activity

            People

              Unassigned Unassigned
              hanm Michael Han
              Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: