{"push_id":903275384,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4aa4e78561ee51fea8890aa9592f7deb2c796e97","before":"fb6a40d42c2762dbb85c2074e2379a8f18debaf0","commits":[{"sha":"4aa4e78561ee51fea8890aa9592f7deb2c796e97","author":{"email":"0246707ff04eaa46c83bb71201edb45691a2ae9a@gmail.com","name":"Arthur Blot"},"message":"Move all the general properties from coq-bitset to here","distinct":true,"url":"https://api.github.com/repos/artart78/coq-bits/commits/4aa4e78561ee51fea8890aa9592f7deb2c796e97"}]}