GitHub PushEvent at 2014-03-01 10:19:25
Repository: frege-ide
Actor: Ingo60
Payload: {"shas":[["e88f7db63a7414b1d2cb7f814f677065755337d3","7d37fbf777acc1472fb11e1ef7c2f90a90c3fe65@gmail.com","toggle frege builder","Ingo Wechsung",true]],"size":1,"ref":"refs/heads/master","head":"e88f7db63a7414b1d2cb7f814f677065755337d3"}