xref: /pciutils/maint/push-to-public (revision 34092dd9)

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