GitHub PushEvent at 2014-04-25 01:14:13
Repository: pintos
Actor: SeongHyeok
Payload: {"shas":[["f86567cb8620585232967d2d0627d0a6e5765775","f019cd9fb310928468bd01f1211fdc009ea0af06@gmail.com","Minor change.","SeongHyeok Im",true],["0ec4847907faa18cfe5b3f3dda40f33c0b569cc9","f019cd9fb310928468bd01f1211fdc009ea0af06@gmail.com","Merge branch 'master' of https://github.com/JLangowitz/pintos\n\nConflicts:\n\tsrc/threads/synch.c","SeongHyeok Im",true]],"size":2,"ref":"refs/heads/master","head":"0ec4847907faa18cfe5b3f3dda40f33c0b569cc9"}