Add `git push --tags` erratum.