Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:64212
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: softfail (pb1.pair.com: domain golemon.com does not designate 209.85.223.170 as permitted sender)
MIME-Version: 1.0
Sender: php@golemon.com
In-Reply-To: <slrnkc6n4u.g88.dsp@experimentalworks.net>
References: <CAESVnVpZ2_WejLqNsAT2+YLCGUMdfM6aSvM=UcQObTG-_eODGg@mail.gmail.com>
	<50BFC727.8070107@lerdorf.com>
	<CAESVnVq0ycPZdQQD+OsX3-GCaX+fAbS+HKRj+FwCih6mRUnsoQ@mail.gmail.com>
	<slrnkc6n4u.g88.dsp@experimentalworks.net>
Date: Sun, 9 Dec 2012 12:43:39 -0800
Message-ID: <CAESVnVq_0EPLh7VvEWRa4ViErw6vGqjsu59OVVjsWNgZ=x60gA@mail.gmail.com>
To: David Soria Parra <dsp@php.net>
Cc: internals@lists.php.net
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [PHP-DEV] Git Access
From: pollita@php.net (Sara Golemon)

Yeah, a subsequent push picked it up.  Don't think we need to worry
about cronning it, but I'll add a note to the git workflow page
mentioning how recovery works in this situation for future reference.

On Sat, Dec 8, 2012 at 7:28 AM, David Soria Parra <dsp@php.net> wrote:
> 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.
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>