`git push --tags` already took care of that.
# general
a
git push --tags
already took care of that.