Re: git remote update -> rejected
- From
Jeff King <peff@peff.net>
- Date
- Apr 22, 2008, 13:09 UTC
- Message-ID
- <20080422130918.GB27878@sigill.intra.peff.net>
- In-Reply-To
- <alpine.DEB.1.00.0804221357420.4460@eeepc-johanness>
On Tue, Apr 22, 2008 at 02:03:43PM +0100, Johannes Schindelin wrote:
> Oh, that's right: only "git remote prune" will delete stale refs only. > > But my other point about possibly interfering with local branches still > holds true.
In that case, I think that the '+' should come only without --mirror, and my complaint is then that "--mirror" is a horrible name for that option. Though when I saw it, I really expected it to do something about the _push_ line, since that is the only other place we have a --mirror option. It would make sense to me for it to set up remote.$x.mirror (which is newly added in next). But then, git-remote doesn't seem to be geared towards pushing at all.
-Peff