{"push_id":1330749761,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"b23581c9afaa049514dc7d6b5cd8c9629a66271b","before":"ac6d30605a208f52456a90237136abd7ec33217f","commits":[{"sha":"5e1cf8bd84de622d647b2f2e1f246243a61247d4","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"[ fixed #2235 ] missing ignoreSharing in pattern unifier","distinct":false,"url":"https://api.github.com/repos/agda/agda/commits/5e1cf8bd84de622d647b2f2e1f246243a61247d4"},{"sha":"b23581c9afaa049514dc7d6b5cd8c9629a66271b","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"Merge stable-2.5","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/b23581c9afaa049514dc7d6b5cd8c9629a66271b"}]}
{"actor":{"display_login":"UlfNorell"}}