infra-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Michael Han (JIRA)" <>
Subject [jira] [Created] (INFRA-13690) Close pull request on github on demand?
Date Fri, 17 Mar 2017 15:23:41 GMT
Michael Han created INFRA-13690:

             Summary: Close pull request on github on demand?
                 Key: INFRA-13690
             Project: Infrastructure
          Issue Type: Wish
          Components: Github
            Reporter: Michael Han

Because the apache projects on github is a read only mirror (
it is currently not possible to close pull requests on demand by a committer or PMC of the
project, as they only have write access to the git repo instead of the github mirror repo.
Only the creator of the pull request has the permission to close pull request targeting the
git mirror, as a result lots of pull requests are left stale because of the creators of pull
requests have moved on to other things.

My question is - is there any way to close the pull request either manually or automatically,
for a committer that has write access to the git project repo? 
For ZooKeeper's case, we'd like to clean up the pull requests here:

This message was sent by Atlassian JIRA

View raw message