How to revert remote bare repository on git
git
Solution
In your local repository use `git reset --mixed <commit>` then `git push --force` to the remote. You may need to stash the uncommitted changes first.
From the git-reset manpage:
--mixed
Resets the index but not the working tree (i.e., the changed files are preserved but not marked for commit) and reports what has not been updated. This is the default action.
Problem
I've done the process described at this link http://toroid.org/ams/git-website-howto It works like a charm, but now I have to revert, temporarily, the remote repository (and the checkout) to a previous state. I think that I probably just need to revert locally and push (and the checkout will work properly) but I'm not sure. Notice that it is not a definitive revert, just a temporary one (think of it as if I pushed the latest changes to production before I should)