push-to-public (revision c2e0c6b56a71da9abe8df5c8348fb3eb5c2c9251) - OpenGrok cross reference for /aosp_15_r20/external/pciutils/maint/push-to-public

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