Re: Reference for git.git release process

From: Jeff King <peff@peff.net>
Date: Mar 26, 2009, 03:49 UTC
Message-ID: <20090326034909.GB8031@coredump.intra.peff.net>
In-Reply-To: <7v8wmtufn4.fsf@gitster.siamese.dyndns.org>

On Wed, Mar 25, 2009 at 08:28:15PM -0700, Junio C Hamano wrote:

Show 7 quoted lines

> > So if I understand correctly, you would actually like "push matching,
> > delete missing" behavior?
> 
> Hmm, that would be good.  That would allow me to start publishing the
> individual topics with ease.
> 
> I never thought of that.

I'm not sure of the best way to implement it. Is it a new behavior on par with matching, tracking, current, etc; or is "delete missing" orthogonal to what is being pushed? Should "delete missing" attempt to match according to your refspecs, or according to the whole repo (like mirror)?

I was thinking "orthogonal, limited to your refspec". So configure via

  git config remote.origin.prune-push true

and then you can

  # pseudo-mirror following your refspec or matching behavior
  git push origin

  # push foo if it exists, or delete it if it doesn't
  git push origin foo

  # sync some subset of your refs
  git push origin refs/heads/jk/*:refs/heads/jk/*

-Peff