#!/bin/bash -e
cd "`darcs_root`"
exec darcs push "$@" $DARCS_PEER:"`pwd`"