{"push_id":1233140047,"size":2,"distinct_size":2,"ref":"refs/heads/stable-2.5","head":"53660ee51756e0abb8be2aec3882053ae9e2b19d","before":"f0e8c05598a84cb911a4c3c1900ca5317946839e","commits":[{"sha":"1d4f125fe69b9abdf18ead5962493524896d9ffc","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"[ ghc backend ] forgot about indices when generating pattern coverage check for COMPILED_DATA","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/1d4f125fe69b9abdf18ead5962493524896d9ffc"},{"sha":"53660ee51756e0abb8be2aec3882053ae9e2b19d","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"[ fixed #2128 ] allow ..-ed things to appear in types","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/53660ee51756e0abb8be2aec3882053ae9e2b19d"}]}
{"actor":{"display_login":"UlfNorell"}}