0000000000000000000000000000000000000000 6529f9f2fad6201316e8009823e54bcd5d3f7b07 Christoph Martin <martin@uni-mainz.de> 1399542313 +0200	fetch: storing head
6529f9f2fad6201316e8009823e54bcd5d3f7b07 47c5b9665888464964b4e3ba6e29ad7649200cd7 Christoph Martin <martin@uni-mainz.de> 1413558629 +0200	pull: fast-forward
