{"push_id":1245132577,"size":2,"distinct_size":2,"ref":"refs/heads/stable-2.5","head":"0455fabf3446e09b409bf1903d3c081578817cb1","before":"bf9ff1e676d51ce35d50658b6274ecdb8b60fda2","commits":[{"sha":"e9b2fb97181f72b6e5129abcdf82c10afae0e6dc","author":{"name":"zjhmale","email":"918c784cd143529302534bc9fbf8ac1e5a238135@gmail.com"},"message":"ignore .stack-work directory","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/e9b2fb97181f72b6e5129abcdf82c10afae0e6dc"},{"sha":"0455fabf3446e09b409bf1903d3c081578817cb1","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Merge pull request #2138 from zjhmale/ignore-stack-work\n\nignore .stack-work directory","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/0455fabf3446e09b409bf1903d3c081578817cb1"}]}
{"actor":{"display_login":"andreasabel"}}