Re: Git Access
| From: | Alexey Zakhlestin | Date: | Thu, 06 Dec 2012 05:32:20 +0000 |
| Subject: | Re: Git Access | ||
| References: | 1 2 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-64169@lists.php.net to get a copy of this message | ||
On 06.12.2012, at 3:38, Sara Golemon <pollita@php.net> wrote:
> RTFMing is hard, thanks. :)
>
> remote: Welcome pollita.
> remote: Changesets accepted. Thank you for your contribution.
> remote:
> remote: Attempting to push to mirror git@github.com:php/php-src.git
> remote: Write failed: Broken pipe
> remote: fatal: The remote end hung up unexpectedly
> To https://git.php.net/push/php-src.git
> c058ed5..5ac3577 master -> master
>
> The push to git.php.net succeeded, but its push to github failed. Is
> there a process that deals with keeping the repos in sync in events
> like this?
I believe it will eventually sync, as "push" propagates all changes, not just specific
commit