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