Maint: Added a script for pushing to both public repos

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

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