Re: [PHP-DEV] Github pull request management

2013-02-13 Thread Johannes Schlüter
On Wed, 2013-02-13 at 18:37 +0100, Lars Strojny wrote: > Hi Johannes, > > quick question: does it automatically open bug reports for each PR? No, for two reasons: A. Github provides no good notification mechanism for that, we'd have to pull periodically and match it and so on B.

Re: [PHP-DEV] Github pull request management

2013-02-13 Thread Lars Strojny
Hi Johannes, quick question: does it automatically open bug reports for each PR? Am 13.02.2013 um 17:03 schrieb Johannes Schlüter : > Hi, > > with Felipe's help I've just added the second pull request management > tool to mange pull requests. > > The first one is https://qa.php.net/pulls/ this

Re: [PHP-DEV] Github pull request management

2013-02-13 Thread Sherif Ramadan
On Wed, Feb 13, 2013 at 11:03 AM, Johannes Schlüter wrote: > Hi, > > with Felipe's help I've just added the second pull request management > tool to mange pull requests. > > The first one is https://qa.php.net/pulls/ this allows any php.net > developer to close pull requests on github, without us

[PHP-DEV] Github pull request management

2013-02-13 Thread Johannes Schlüter
Hi, with Felipe's help I've just added the second pull request management tool to mange pull requests. The first one is https://qa.php.net/pulls/ this allows any php.net developer to close pull requests on github, without us having to manage users on github and adding them to groups and all that

[PHP-DEV] Lots of people read this list. Please be courteous of their time. [was: Re: [PHP-DEV] Github Pull Request]

2012-03-20 Thread Sean Coates
> Thanks for the reminder! If it ever looks like I'm getting carried away > while standing up to these guys, please don't be afraid to let me know. I hate to even get involved in this thread, but [especially] now that the issue is resolved, could you please start replying to people in private in

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread Kris Craig
Arpad, On Tue, Mar 20, 2012 at 6:23 PM, Arpad Ray wrote: > Hi Kris, > > On 20 Mar 2012 23:29, "Kris Craig" wrote: > > > > On Tue, Mar 20, 2012 at 4:08 PM, Ferenc Kovacs wrote: > > > > > >> But just because you and a few other stuffed shirts don't understand > the > > >> value of dissenting vie

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread Arpad Ray
Hi Kris, On 20 Mar 2012 23:29, "Kris Craig" wrote: > > On Tue, Mar 20, 2012 at 4:08 PM, Ferenc Kovacs wrote: > > > >> But just because you and a few other stuffed shirts don't understand the > >> value of dissenting viewpoints, > > > > > > that's so nice of you > > > > You're welcome. > Your to

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread Kris Craig
On Tue, Mar 20, 2012 at 4:08 PM, Ferenc Kovacs wrote: > >> The horse is already dead. Why are you still wacking it with a stick? >> > > that was my first and only reply to you about this issue, and this will be > my last one, I promise. > I was referring to you guys piling on as a group. Try n

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread Ferenc Kovacs
> > > The horse is already dead. Why are you still wacking it with a stick? > that was my first and only reply to you about this issue, and this will be my last one, I promise. > Last time I checked, the PHP Group doesn't take orders from Github. we don't, my point was that if you really want

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread Kris Craig
On Tue, Mar 20, 2012 at 3:04 PM, Ferenc Kovacs wrote: > > > On Tue, Mar 20, 2012 at 9:14 PM, Kris Craig wrote: > >> On Tue, Mar 20, 2012 at 12:56 PM, Stas Malyshev > >wrote: >> >> > Hi! >> > >> > > Yeah I know. That doesn't mean I have to like it though lol. ;P >> > >> > You may like it or not

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread Ferenc Kovacs
On Tue, Mar 20, 2012 at 9:14 PM, Kris Craig wrote: > On Tue, Mar 20, 2012 at 12:56 PM, Stas Malyshev >wrote: > > > Hi! > > > > > Yeah I know. That doesn't mean I have to like it though lol. ;P > > > > You may like it or not like it, but it's established terminology so > > we're going to use it

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread Matthew Weier O'Phinney
On 2012-03-20, Kris Craig wrote: > --f46d043892b5d6413304bbb15eed > Content-Type: text/plain; charset=ISO-8859-1 > > On Tue, Mar 20, 2012 at 10:34 AM, David Soria Parra wrote: > > > -BEGIN PGP SIGNED MESSAGE- > > Hash: SHA1 > > > > On 03/20/2012 06:29 PM, Kris Craig wrote: > > > Quick cla

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread Kris Craig
On Tue, Mar 20, 2012 at 12:56 PM, Stas Malyshev wrote: > Hi! > > > Yeah I know. That doesn't mean I have to like it though lol. ;P > > You may like it or not like it, but it's established terminology so > we're going to use it. Let's not add noise to our lists. > -- > Stanislav Malyshev, Softwar

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread Stas Malyshev
Hi! > Yeah I know. That doesn't mean I have to like it though lol. ;P You may like it or not like it, but it's established terminology so we're going to use it. Let's not add noise to our lists. -- Stanislav Malyshev, Software Architect SugarCRM: http://www.sugarcrm.com/ (408)454-6900 ext. 227

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread Kris Craig
Yeah I know. That doesn't mean I have to like it though lol. ;P --Kris On Tue, Mar 20, 2012 at 12:11 PM, Hugo Peixoto wrote: > Kris, > > "Pull request" is a generally accepted term, specially when it comes to > github: http://help.github.com/send-pull-requests/ > > Hugo Peixoto > -- > > websi

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread Hugo Peixoto
Kris, "Pull request" is a generally accepted term, specially when it comes to github: http://help.github.com/send-pull-requests/ Hugo Peixoto -- website: http://hugopeixoto.net On Tue, Mar 20, 2012 at 7:06 PM, Kris Craig wrote: > On Tue, Mar 20, 2012 at 10:34 AM, David Soria Parra > wrote:

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread Kris Craig
On Tue, Mar 20, 2012 at 10:34 AM, David Soria Parra wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > On 03/20/2012 06:29 PM, Kris Craig wrote: > > Quick clarification: On the other hand, by "pull request" are you > > simply referring to somebody else requesting that you "pull" their >

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread Kris Craig
Quick clarification: On Tue, Mar 20, 2012 at 7:11 AM, Paul Dragoonis wrote: > thanks dsp and johannes for this nice tool. > > On Tue, Mar 20, 2012 at 10:16 AM, David Soria Parra wrote: > > Hi > > > > with the php-src migrated to git we start receiving > > pull request on github. A few things to

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread David Soria Parra
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 03/20/2012 06:29 PM, Kris Craig wrote: > Quick clarification: On the other hand, by "pull request" are you > simply referring to somebody else requesting that you "pull" their > submission and merge/push it? If so, I get it, but I really think > we

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread Paul Dragoonis
thanks dsp and johannes for this nice tool. On Tue, Mar 20, 2012 at 10:16 AM, David Soria Parra wrote: > Hi > > with the php-src migrated to git we start receiving > pull request on github. A few things to notice: > >  - developers can pull the requests as described here: >    https://wiki.php.ne

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread David Soria Parra
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 03/20/2012 11:42 AM, Ferenc Kovacs wrote: > I think it would be a good idea to explain why are we (not) doing > that. AFAIR the reason is that if we hand out accounts on github, > and somebody by mistake merges the pull request there (instead of > p

Re: [PHP-DEV] Github Pull Request

2012-03-20 Thread Ferenc Kovacs
> > > Note that we DONT hand out access to the > github repository and will we not add > you to the PHP organization on github. > I think it would be a good idea to explain why are we (not) doing that. AFAIR the reason is that if we hand out accounts on github, and somebody by mistake merges the p

[PHP-DEV] Github Pull Request

2012-03-20 Thread David Soria Parra
Hi with the php-src migrated to git we start receiving pull request on github. A few things to notice: - developers can pull the requests as described here: https://wiki.php.net/vcs/gitfaq#github_pull_requests - people with valid github accounts can comment on pull request - people