#!/bin/sh
set -e
git reset --hard ORIG_HEAD
