{"push_id":2429548532,"size":3,"distinct_size":1,"ref":"refs/heads/master","head":"eeafd4be55ceaed7cb1b7e99b48543f4666930a3","before":"8a7ad7f79c09d3a55110b6f92ab07267564601f0","commits":[{"sha":"8e4d4b8a767df53e9e061d3bcc5a1f8307ca61d5","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Comment (minor)","distinct":false,"url":"https://api.github.com/repos/agda/agda/commits/8e4d4b8a767df53e9e061d3bcc5a1f8307ca61d5"},{"sha":"440474ff58fe00f1007b4140f82abfc5682563d2","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Refactor: use HasEta instead of Bool in record decl","distinct":false,"url":"https://api.github.com/repos/agda/agda/commits/440474ff58fe00f1007b4140f82abfc5682563d2"},{"sha":"eeafd4be55ceaed7cb1b7e99b48543f4666930a3","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Merge remote-tracking branch 'stable/stable-2.5'","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/eeafd4be55ceaed7cb1b7e99b48543f4666930a3"}]}
{"actor":{"display_login":"andreasabel"}}