diff --git a/push-to-checkout b/push-to-checkout new file mode 100644 index 0000000..a4fea99 --- /dev/null +++ b/push-to-checkout @@ -0,0 +1,3 @@ +#!/bin/sh +# checks out the received ref on push +git read-tree -u -m HEAD "$1"