We've got a repository that has only a master branch (for the purpose of this discussion). Somehow we've got to a situation where a developer has merged his local master and pushed and managed to lose other commits.We've got a repository that has only a master b