On Thu, Mar 8, 2012 at 11:33 AM, Jakub Narebski <jnareb@xxxxxxxxx> wrote: > You can always configure server to refuse forced pushes. We're using github, and as far as I'm aware, there's no way to configure github to do that. Best regards, Jeremy Morton (Jez) -- 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