{"push_id":1763311539,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"939f2e50c5c3fb31c7b345e37158791263a83344","before":"ba3762da9715891df99d3641b48e2ac229561a5f","commits":[{"sha":"63389f8201b3c9cc12252ee15125d43e2317b9e7","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"refactor: move argInfoOverlappable into Hiding","distinct":false,"url":"https://api.github.com/repos/agda/agda/commits/63389f8201b3c9cc12252ee15125d43e2317b9e7"},{"sha":"939f2e50c5c3fb31c7b345e37158791263a83344","author":{"name":"Ulf Norell","email":"bfe9e496e53775804e2842b28ce19bc76a4705da@gmail.com"},"message":"Merge stable-2.5\n\n# Conflicts:\n#\tsrc/full/Agda/Syntax/Common.hs\n#\tsrc/full/Agda/TypeChecking/InstanceArguments.hs\n#\tsrc/full/Agda/TypeChecking/Rules/Decl.hs\n#\tsrc/full/Agda/TypeChecking/Rules/Term.hs","distinct":true,"url":"https://api.github.com/repos/agda/agda/commits/939f2e50c5c3fb31c7b345e37158791263a83344"}]}
{"actor":{"display_login":"UlfNorell"}}