Put things back after git push --force