It is now totally forbidden to push --force or revert commits on the repository, except with explicit allowance before. NO exceptions. Violators will get their account removed from git commitors. -- Jean-Baptiste Kempf http://www.jbkempf.com/ - +33 672 704 734 Sent from my Electronic Device