#!/bin/sh
# checks out the received ref on push
git read-tree -u -m HEAD "$1"