fixed broken git repo; lost old commit messages...