{"push_id":754825768,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"87decefde724467594f0f74cce9124e53bca6bc3","before":"3cb319314494537b3fc39d7ddbb6a9d6e43b8452","commits":[{"sha":"87decefde724467594f0f74cce9124e53bca6bc3","author":{"email":"06355f7bc2a80709260cc5d3b2d02a8987400bf2@gmail.com","name":"Gabriel Riba"},"message":"fast toList, ordered toPrioList","distinct":true,"url":"https://api.github.com/repos/griba2001/urweb-pairing-heap/commits/87decefde724467594f0f74cce9124e53bca6bc3"}]}