We have often inexperienced students, who do get push permission to our central repos. So far they all behaved reasonable, however we had one accident. The stu

We have often inexperienced students, who do get push permission to our central repos. So far they all behaved reasonable, however we had one accident. The student used Eclipse with its git integration. He tried to push, but it failed (non-fast-forward). Apparently, Eclipse tries to be helpful and says something like "If you want to push anyways, use the 'force' checkbox". Not knowing what a "force push" is, the student followed Eclipse's advice. Thankfully, the distributed nature of git is very helpful. You can just force push again from another repo to undo the force push.