Is it safe to call push --mirror $SOME_REMOTE on a post-receive hook? Is push always safe for the source repo? -- 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