infra-issues mailing list archives

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


Michael Han commented on INFRA-13690:

OK thanks Daniel.

> Close pull request on github on demand?
> ---------------------------------------
>                 Key: INFRA-13690
>                 URL:
>             Project: Infrastructure
>          Issue Type: Wish
>          Components: Github
>            Reporter: Michael Han
>            Assignee: Daniel Gruno
> 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