maint/push-to-public: git push --tags requires branches

[thirdparty/pciutils.git] / maint / push-to-public

#!/bin/sh
set -e
git push --tags public master
git push --tags github master