you make a commit with a comment that instructs the daemon to close
it, as per Dan Kulp's email the other day.
On Tue, Jun 10, 2014 at 8:52 AM, Jason van Zyl ja...@takari.io wrote:
How do we get access to close pull requests? These are just requests that are
rejected and I'd like to get rid of
You have to pollute the commit history to remove a rejected PR? Really?
On Jun 10, 2014, at 8:54 AM, Benson Margulies bimargul...@gmail.com wrote:
you make a commit with a comment that instructs the daemon to close
it, as per Dan Kulp's email the other day.
On Tue, Jun 10, 2014 at 8:52 AM,
Or file a ticket with INFRA to have them closed.
Or add a comment to the pull request to say “please close this” and hopefully
the person who submitted it would close it.
Dan
On Jun 10, 2014, at 8:54 AM, Benson Margulies bimargul...@gmail.com wrote:
you make a commit with a comment