{"push_id":764960360,"size":1,"distinct_size":1,"ref":"refs/heads/v2.4","head":"081460d57574d1259de4324b543958fc69de8b45","before":"56e2d0ee345603704e1f18a5064d1874a8e2df04","commits":[{"sha":"081460d57574d1259de4324b543958fc69de8b45","author":{"email":"b4837c0407c32f037fbd6152ccb56df097eb9c01@crans.org","name":"Raphaël Cauderlier"},"message":"Move casting function between machine and binary numbers to\ndk_binary_nat because it is hard to prove confluent and dk_binary_nat is\nnot checked for confluence.","distinct":true,"url":"https://api.github.com/repos/rafoo/dklib/commits/081460d57574d1259de4324b543958fc69de8b45"}]}