GitHub PushEvent at 2014-10-02 14:36:21
Repository: agda-interactive-server
Actor: notogawa
Payload: {"shas":[["3dcda4002018caf7f61a50d34c89a15deef329fa","379bab41f97f14614e736e7597413c1622e33144@gmail.com","auto scroll","notogawa",true],["280ffedfd5f1f3e16d2b10e9e2ef204a988d4a1c","379bab41f97f14614e736e7597413c1622e33144@gmail.com","change layout","notogawa",true]],"size":2,"ref":"refs/heads/master","head":"280ffedfd5f1f3e16d2b10e9e2ef204a988d4a1c"}