Using GIT to restore a deleted config file