push-to-public « maint - pciutils/pciutils.git - The PCI Utilities - development tree

about summary refs log tree commit diff stats

path: root/maint/push-to-public

blob: 4ed9467e883326667b314dbd7530f16410c8039b (plain)

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