Restore a deleted file in a git repo