0000000000000000000000000000000000000000 de89af7805124c764cae7a2d7eddf0c37878318a Yordan Manolov <yordan.manolov@rwth-aachen.de> 1588407399 +0200	pull: storing head
de89af7805124c764cae7a2d7eddf0c37878318a 08fac5cf1d6bcd5fe767cf602f2f8e8d2eee38ce Yordan Manolov <yordan.manolov@rwth-aachen.de> 1588494174 +0200	pull -a: fast-forward
08fac5cf1d6bcd5fe767cf602f2f8e8d2eee38ce 326271fc1c43fd6b509e4a3a5ca50ecd72cef084 Yordan Manolov <yordan.manolov@rwth-aachen.de> 1588534679 +0200	pull: fast-forward
