{"push_id":945078858,"size":3,"distinct_size":1,"ref":"refs/heads/restrict","head":"e9be6c43ab06b64470a1ded357dbf5aaba607aa8","before":"48b11b095ac62205ef4572229075636c34adf660","commits":[{"sha":"eb3b1d5fafb1fe28ee78d5e9ea5339376b9ce882","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"remove Value.Ty","distinct":false,"url":"https://api.github.com/repos/SkySkimmer/andromeda/commits/eb3b1d5fafb1fe28ee78d5e9ea5339376b9ce882"},{"sha":"a793efc70f4f20133ab1036cc216279e0b571b65","author":{"email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com","name":"Andrej Bauer"},"message":"Merge pull request #159 from SkySkimmer/rm-value-ty\n\nRemove Value.Ty","distinct":false,"url":"https://api.github.com/repos/SkySkimmer/andromeda/commits/a793efc70f4f20133ab1036cc216279e0b571b65"},{"sha":"e9be6c43ab06b64470a1ded357dbf5aaba607aa8","author":{"email":"26fa16609af92f7dd138c57814f0f88d569d969c@ens-lyon.fr","name":"Gaetan Gilbert"},"message":"restrict keyword, better equality checking","distinct":true,"url":"https://api.github.com/repos/SkySkimmer/andromeda/commits/e9be6c43ab06b64470a1ded357dbf5aaba607aa8"}]}