{"push_id":1196258002,"size":2,"distinct_size":2,"ref":"refs/heads/stable-2.5","head":"fbd03cace5425be2448676b7c4358243d27fc327","before":"e4e0d9aab75ca64f4a13e00f8b65becb1b400e56","commits":[{"sha":"0dfbd530d51b846a31ae180d506c442ec14070fe","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Fixed #2088: Splitting on hidden variables only makes them visible","distinct":true,"url":"https://api.github.com/repos/fredrikNordvallForsberg/agda/commits/0dfbd530d51b846a31ae180d506c442ec14070fe"},{"sha":"fbd03cace5425be2448676b7c4358243d27fc327","author":{"name":"Fredrik Nordvall Forsberg","email":"2d7b6a877996e605413791c0d18ee8c1e285f06a@strath.ac.uk"},"message":"Merge remote-tracking branch 'upstream/stable-2.5' into stable-2.5","distinct":true,"url":"https://api.github.com/repos/fredrikNordvallForsberg/agda/commits/fbd03cace5425be2448676b7c4358243d27fc327"}]}
{"actor":{"display_login":"fredrikNordvallForsberg"}}