GitHub PushEvent at 2014-04-12 03:54:36
Repository: semRequireServer
Actor: MiguelCastillo
Payload: {"shas":[["28c9f207c54a5fcf97876a797d2bfdc08ad472ca","dace3e1c2da6a124a3a955ae642558d80c03387e@gmail.com","Adjusting how port number is set","Miguel Castillo",true]],"size":1,"ref":"refs/heads/master","head":"28c9f207c54a5fcf97876a797d2bfdc08ad472ca"}