Re: How do we close pull requests?

2014-06-10 Thread Benson Margulies
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 them.

 Thanks,

 Jason

 --
 Jason van Zyl
 Founder,  Apache Maven
 http://twitter.com/jvanzyl
 http://twitter.com/takari_io
 -

 To think is easy. To act is hard. But the hardest thing in the world is to 
 act in accordance with your thinking.

  -- Johann von Goethe










-
To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org
For additional commands, e-mail: dev-h...@maven.apache.org



Re: How do we close pull requests?

2014-06-10 Thread Jason van Zyl
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, 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 them.
 
 Thanks,
 
 Jason
 
 --
 Jason van Zyl
 Founder,  Apache Maven
 http://twitter.com/jvanzyl
 http://twitter.com/takari_io
 -
 
 To think is easy. To act is hard. But the hardest thing in the world is to 
 act in accordance with your thinking.
 
 -- Johann von Goethe
 
 
 
 
 
 
 
 
 
 
 -
 To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org
 For additional commands, e-mail: dev-h...@maven.apache.org
 

Thanks,

Jason

--
Jason van Zyl
Founder,  Apache Maven
http://twitter.com/jvanzyl
http://twitter.com/takari_io
-

What matters is not ideas, but the people who have them. Good people can fix 
bad ideas, but good ideas can't save bad people. 

 -- Paul Graham











Re: How do we close pull requests?

2014-06-10 Thread Daniel Kulp

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 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 them.
 
 Thanks,
 
 Jason
 
 --
 Jason van Zyl
 Founder,  Apache Maven
 http://twitter.com/jvanzyl
 http://twitter.com/takari_io
 -
 
 To think is easy. To act is hard. But the hardest thing in the world is to 
 act in accordance with your thinking.
 
 -- Johann von Goethe
 
 
 
 
 
 
 
 
 
 
 -
 To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org
 For additional commands, e-mail: dev-h...@maven.apache.org
 

-- 
Daniel Kulp
dk...@apache.org - http://dankulp.com/blog
Talend Community Coder - http://coders.talend.com


-
To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org
For additional commands, e-mail: dev-h...@maven.apache.org