GitHub PushEvent at 2014-04-17 01:39:12
Repository: pintos
Actor: mrjeremyt
Payload: {"shas":[["4441e75205333fe999008d3054dcdb878be87695","da55ffc3e956a91425ceeb44fcb4dfee9190ba75@gmail.com","open_list","mrjeremyt",true],["73643cad5e17da2d49f3e187a9ffd5192de8ba58","da55ffc3e956a91425ceeb44fcb4dfee9190ba75@gmail.com","Merge branch 'master' of https://github.com/mrjeremyt/pintos","mrjeremyt",true]],"size":2,"ref":"refs/heads/master","head":"73643cad5e17da2d49f3e187a9ffd5192de8ba58"}