{"push_id":806878772,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8130f0a8bb2966cad387239d2605cb94085d2aca","before":"65ff3fa3d2bd2185063a24435cee134259abc9f6","commits":[{"sha":"8130f0a8bb2966cad387239d2605cb94085d2aca","author":{"email":"ec9384c5373795f8c76de7aca4de7a279f8c3957@gmail.com","name":"Kiran Kedlaya"},"message":"Clean up FLINT arithmetic","distinct":true,"url":"https://api.github.com/repos/kedlaya/root-unitary/commits/8130f0a8bb2966cad387239d2605cb94085d2aca"}]}