#!/bin/sh

# Stop on the first error
set -ex

export GIT_WORK_TREE=$GIT_DIR/..

# Theoretically, everything has been checked in the pre-receive hook
# and no local modification should go missing (at worst, there's the
# reflog)
git reset --hard