#!/bin/sh -e
# Prevent push on a failed build.

# On a feature branch that has no remote yet, this first part would fail.
git pull --rebase || git pull --rebase origin master

make all