Quick clarification:
On Tue, Mar 20, 2012 at 7:11 AM, Paul Dragoonis <[email protected]> wrote:
> thanks dsp and johannes for this nice tool.
>
> On Tue, Mar 20, 2012 at 10:16 AM, David Soria Parra <[email protected]> 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.net/vcs/gitfaq#github_pull_requests
> > - people with valid github accounts can comment
> > on pull request
> > - people with valid php accounts can close pull
> > request using the tool http://qa.php.net/pulls.
> > Thank you joahnnes for writing it.
> >
> > Before pulling make sure:
> >
> > - the pull request contains appropriate tests for
> > the change
> > - the commit message contains a good and precise
> > description what was changed and why
> >
> > ensure that you pull it into the right branch.
> >
> > Pull request notifications are send to the
> > [email protected] mailinglist.
> >
> > Note that we DONT hand out access to the
> > github repository and will we not add
> > you to the PHP organization on github.
> >
> > - David
> >
> > --
> > PHP Internals - PHP Runtime Development Mailing List
> > To unsubscribe, visit: http://www.php.net/unsub.php
> >
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>
Are you referring to "push" requests? I.e. are you talking about posting
commits you've made locally to the remote Git repo? If so, then in Git
this is referred to as a "push," not a "pull." I bring this up because, in
Git, a "pull" actually refers to something entirely different. A pull
refers to the exact opposite, in fact; i.e. using Git to "download" a
branch from a remote repo. In other words, you "pull" a branch from remote
to local, make your commits/merges/whatever, then "push" that branch back
up to the remote repo. If we start referring to pushes as pulls, that will
inevitably lead to a ton of unnecessary confusion.
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 should come up with another term to
describe it because it really does sound kinda backwards IMHO. I just woke
up less than an hour ago though so maybe I'm just groggy lol....
--Kris