On Feb 21, 2012, at 6:43 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > Johan Herland <johan@xxxxxxxxxxx> writes: > >> history"[1], but won't cause any false positives (and small enough >> false negatives). If there really is no way to implement this, then we >> shouldn't give users false hopes by putting it in the survey... > > I think that question should be "warn before pushing out a commit that the > user may later regret to have pushed out" ;-) Why limit this proposal to just the commits that are reachable from upstream? What if somebody pulls from your repo? In other words, wouldn't it be better to have a git track "unshared" commits and only let those be rewritten? The theory being that if the given commits haven't been pushed or pulled anywhere, then they are safe to rewrite. davez -- 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