#!/bin/sh
LIFELOGDIR=/home/plom/lifelog
GIT_WORK_TREE=$LIFELOGDIR git checkout -f
cd $LIFELOGDIR
redo