Matthieu Moy <Matthieu.Moy@xxxxxxx> writes: > I don't understand the design choice here: git had two options to > avoid this scenario: Actually, there are no such "design choices". That's entirely up to the repository owners to arrange post-update hook, to allow you to do anything you want. The default is not to encourage people (who do not know what they are doing anyway) to push into non-bare repository. - 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