summaryrefslogtreecommitdiffstats
path: root/maint/push-to-public
blob: cb550fb1cb427eb3f8a4b1e1726f7711b089693e (plain)
1
2
3
4
#!/bin/sh
set -e
git push --tags public master
git push --tags github master