GitHub PushEvent at 2014-02-09 16:18:50
Repository: java-semantics
Actor: denis-bogdanas
Payload: {"shas":[["5fbdaa632203dd5946acbc4afc8f5828b7f55c36","92a35fe6e840bf19a77001a55afbf16776a19f02@gmail.com","KJ-17 Write documentation for elaboration phase. Just the basic documentation.","denis-bogdanas",true]],"size":1,"ref":"refs/heads/master","head":"5fbdaa632203dd5946acbc4afc8f5828b7f55c36"}