]> mj.ucw.cz Git - pciutils.git/blob - maint/push-to-public
4ed9467e883326667b314dbd7530f16410c8039b
[pciutils.git] / maint / push-to-public
1 #!/bin/sh
2 set -e
3 git push --tags public
4 git push --tags github