Re: [PATCH resend] make "git push" update origin and mirrors, "git push --mirror" update mirrors
- From
Paolo Bonzini <bonzini@gnu.org>
- Date
- Apr 27, 2008, 09:03 UTC
- Message-ID
- <48144150.8040001@gnu.org>
- In-Reply-To
- <20080427044049.GJ29771@spearce.org>
Patch withdrawn, I'll send a different series.
Paolo