From: Paolo Bonzini <bonzini@gnu.org>
Date: Sun, 27 Apr 2008 09:03:12 GMT
Subject: Re: [PATCH resend] make "git push" update origin and mirrors, "git push --mirror" update mirrors
Message-ID: <48144150.8040001@gnu.org>
In-Reply-To: <20080427044049.GJ29771@spearce.org>

Patch withdrawn, I'll send a different series.

Paolo