1#!/bin/sh -e 2# Prevent push on a failed build. 3 4# On a feature branch that has no remote yet, this first part would fail. 5git pull --rebase || git pull --rebase origin master 6 7make all