Ran into a strange issue with git. A dev's commit to a project disappeared a day later (we know the that the commit occurred from the Jenkins build email). The commit was missing from the dev's ...