{"shas":[["072f041e7b7a9e18b492c0f76f111b7e9f85fcce","f3167177da91bdc962250adbd207d5c8858719b0@worc.oxon.org","getting rid of dot files","Marius Kempe"]],"ref":"refs/heads/master","size":1,"head":"072f041e7b7a9e18b492c0f76f111b7e9f85fcce","push_id":42075449}