{"push_id":965558820,"size":7,"distinct_size":4,"ref":"refs/heads/master","head":"33866b862ccf1c7a2a0d28b8246538edb615f68f","before":"5708e6c08f30e7a77dd32b42cbaee827b53f6371","commits":[{"sha":"a7d626edc1750002b870f70893d8ad5f8c997767","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"rename non monadic Value.lookup_* to Value.get_*","distinct":false,"url":"https://api.github.com/repos/SkySkimmer/andromeda/commits/a7d626edc1750002b870f70893d8ad5f8c997767"},{"sha":"b8c40bfcc697f2a241df62eac59de8f2667b197a","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"lookups do not return options when it doesn't make sense","distinct":false,"url":"https://api.github.com/repos/SkySkimmer/andromeda/commits/b8c40bfcc697f2a241df62eac59de8f2667b197a"},{"sha":"d8ddde90838d5ce65955798560c9e3483f0b5ee3","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"inspect the context of a judgement","distinct":false,"url":"https://api.github.com/repos/SkySkimmer/andromeda/commits/d8ddde90838d5ce65955798560c9e3483f0b5ee3"},{"sha":"8a476ae9c192199f6805063a6f34c5e5b753cf72","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@haselwarter.org","name":"Philipp Haselwarter"},"message":"Pattern variables in toplevel handlers use ?x syntax","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/andromeda/commits/8a476ae9c192199f6805063a6f34c5e5b753cf72"},{"sha":"6ee22cb10ac8d97e33e291bca34b33fdebe1dbc0","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@haselwarter.org","name":"Philipp Haselwarter"},"message":"Merge pull request #201 from SkySkimmer/cleanup\n\nCleanup","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/andromeda/commits/6ee22cb10ac8d97e33e291bca34b33fdebe1dbc0"},{"sha":"5e44f413d0e5900b8156d663f610cc632786223e","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@haselwarter.org","name":"Philipp Haselwarter"},"message":"Merge pull request #202 from SkySkimmer/occurs\n\nOccurs","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/andromeda/commits/5e44f413d0e5900b8156d663f610cc632786223e"},{"sha":"33866b862ccf1c7a2a0d28b8246538edb615f68f","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"Merge pull request #203 from haselwarter/fix-examples\n\nPattern variables in toplevel handlers use ?x syntax","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/andromeda/commits/33866b862ccf1c7a2a0d28b8246538edb615f68f"}]}