It was 'git reset --HARD <commit-id>', like a cherry pick, before pushing.
When you do this by mistake and you don't know the hash you can find it using git reflog, which logs everything that happens in the repository.
More detailed: http://gitready.com/intermediate/2009/02/09/reflog-your-safe...
git reflog
Might be your saviour here next time.