Re: Git Access
| From: | David Soria Parra | Date: | Sat, 08 Dec 2012 15:28:33 +0000 |
| Subject: | Re: Git Access | ||
| References: | 1 2 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-64198@lists.php.net to get a copy of this message | ||
On 2012-12-05, Sara Golemon <pollita@php.net> wrote:
> 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?
No, the next push will sync it again. I can setup a cronjob to do that
every 15mins.