Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:64198 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 16062 invoked from network); 8 Dec 2012 15:28:35 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 8 Dec 2012 15:28:35 -0000 X-Host-Fingerprint: 217.114.211.68 unknown Date: Sat, 08 Dec 2012 10:28:33 -0500 Received: from [217.114.211.68] ([217.114.211.68:18556] helo=localhost.localdomain) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 81/20-13109-1AC53C05 for ; Sat, 08 Dec 2012 10:28:33 -0500 To: internals@lists.php.net References: <50BFC727.8070107@lerdorf.com> User-Agent: slrn/0.9.9p1 (SunOS) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: X-Posted-By: 217.114.211.68 Subject: Re: [PHP-DEV] Git Access From: dsp@php.net (David Soria Parra) On 2012-12-05, Sara Golemon 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.