Hardcode git; add git push --tags