On Mon, 31 Oct 2011, H. Peter Anvin wrote: > Perhaps we should introduce the notion of a "private tag" or something > along those lines? (I guess that would still have to be possible to > push it, but not pull it by default...) That's exactly what git does now, right? (unless you pull from a very specific remote). -- Jiri Kosina SUSE Labs -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html