{"push_id":613838416,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"96399b24ab4adbb3412f35de5d9f1b0170871b4d","before":"691df5880129e14e42e35d9420071d8668eba1f9","commits":[{"sha":"96399b24ab4adbb3412f35de5d9f1b0170871b4d","author":{"email":"932ac0684343feca901131c7b70ada21b8ecd713@gmail.com","name":"Jan Marthedal Rasmussen"},"message":"Update bmlet.js","distinct":true,"url":"https://api.github.com/repos/dessci/UniMath/commits/96399b24ab4adbb3412f35de5d9f1b0170871b4d"}]}