hi Michael, On 12-06-19 11:35 AM, Michael Schubert wrote:
This very much violates the distributed nature of Git. Everything is allowed, because it's *my* repository.
It is certainly allowed, as originally mentioned, with a --force option of some kind.
It is only prevented by default because it is likely you are making a mistake...
Cheers -- 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