pci.h: Document PCI_FILL_xxx flags

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

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