maint/push-to-public: git push --tags requires branches
1 file changed