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: cb550fb1cb427eb3f8a4b1e1726f7711b089693e (plain)

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