Commits from git.php.net to -> github are force push.
That means, if someone accidentally clicks the "merge pull request"
button on github, or manually pushes stuffz to github, it will be
forcefully overwritten next time git.php.net pushes to github (which
happens after each push to git.php.net).
On Tue, Jan 27, 2015 at 2:09 AM, Hannes Magnusson <
[email protected]> wrote:
> On Wed, Jan 21, 2015 at 3:40 AM, Maciej Sobaczewski wrote:
> > Hello Derick,
> >
> > firstly, thank you for fast reply.
> >
> >> It's odd. I did commit to web-pres2 to remove some files that shouldn't
> >> be
On Wed, Jan 21, 2015 at 3:40 AM, Maciej Sobaczewski wrote:
> Hello Derick,
>
> firstly, thank you for fast reply.
>
>> It's odd. I did commit to web-pres2 to remove some files that shouldn't
>> be there. But I checked, and it's really to git.php.net :S But if there
>> is a commit on github, and no
On Wed, 21 Jan 2015, Maciej Sobaczewski wrote:
> > It's odd. I did commit to web-pres2 to remove some files that
> > shouldn't be there. But I checked, and it's really to git.php.net :S
> > But if there is a commit on github, and not on git.php.net, that
> > indicates I must have committed it t
Hello Derick,
firstly, thank you for fast reply.
It's odd. I did commit to web-pres2 to remove some files that shouldn't
be there. But I checked, and it's really to git.php.net :S But if there
is a commit on github, and not on git.php.net, that indicates I must
have committed it to the first on
On Wed, 21 Jan 2015, Maciej Sobaczewski wrote:
> "Hello,
>
> sorry for a stupid question, but after I removed my fork, merged commits seem
> to disappear oO Am I wrong about how pull requests work or something very
> strange happened? Or has it nothing to od with repository removal and it was
> s
