0000000000000000000000000000000000000000 ac64e2c537bb836b7121d805b46b40332a343927 Christoph Martin <martin@uni-mainz.de> 1472480394 +0200	fetch: storing head
ac64e2c537bb836b7121d805b46b40332a343927 14b7b0aa73f0a4e9224972d856802721385366e0 Christoph Martin <martin@uni-mainz.de> 1497363884 +0200	update by push
