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" ;-) -- 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