{"push_id":851652682,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"350d1231c0a0fa690ca841901904edf29548a3f4","before":"1dc64a711d62a332667f7ee5323a59d6546c600c","commits":[{"sha":"350d1231c0a0fa690ca841901904edf29548a3f4","author":{"email":"5a92e5a501447cb80852542d338a7239fc42683b@ias.edu","name":"cathlelay"},"message":"multiplication","distinct":true,"url":"https://api.github.com/repos/cathlelay/UniMath/commits/350d1231c0a0fa690ca841901904edf29548a3f4"}]}