Add the steps lost in an earlier git checkout