Recover a lost git branch with checkout