{"push_id":668593112,"size":1,"distinct_size":1,"ref":"refs/heads/new_compiler","head":"db2fac6be442c9f0920781cbef1b885584a94799","before":"f0c8a7b8eee18b16a78f08612ede75e696438703","commits":[{"sha":"db2fac6be442c9f0920781cbef1b885584a94799","author":{"email":"4e9e50b5d0f80819758cc85d7b06abc0007a7fde@member.fsf.org","name":"Ramana Kumar"},"message":"update modLang and conLang equality semantics","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/db2fac6be442c9f0920781cbef1b885584a94799"}]}