{"shas":[["0090d13a1bb8f3fdbb6ac8da05bae4bdb52da8f6","e4689f80de79caa50bc5254fc1995286ba47c662@gmail.com","First stub for project1","Giovanni [dacav] Simoni"],["4d0c0a9450c539723b831652f2f19fe56e1d786e","e4689f80de79caa50bc5254fc1995286ba47c662@gmail.com","Better clayton protocol, still buggy.\n\nNeed to fix the fact I could have old messages on queue!","Giovanni [dacav] Simoni"],["c4210e0b2678eaef53171324eb7e670411e0f4c3","e4689f80de79caa50bc5254fc1995286ba47c662@gmail.com","fuck yeah clayton","Giovanni [dacav] Simoni"],["f03f5b1c51578ced1849b5d6ebf6507ccaeb20be","e4689f80de79caa50bc5254fc1995286ba47c662@gmail.com","Golo fuck yeah.","Giovanni [dacav] Simoni"]],"repo":"dacav/Formal-Methods","actor":"dacav","ref":"refs/heads/master","size":4,"head":"f03f5b1c51578ced1849b5d6ebf6507ccaeb20be","actor_gravatar":"9cd35c711e222946f9503628827a32ce","push_id":31931588}