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