{"ref":"refs/heads/trunk","commits":[{"author":{"name":"Fredrik Johansson","email":"c439222bafc5b3764945b3d7ed4cbf265c684bfe@gmail.com"},"url":"https://api.github.com/repos/fredrik-johansson/flint2/commits/b2fa947673c580e28443aeed26edfebd89409c73","message":"fix a typo","sha":"b2fa947673c580e28443aeed26edfebd89409c73"},{"author":{"name":"Fredrik Johansson","email":"c439222bafc5b3764945b3d7ed4cbf265c684bfe@gmail.com"},"url":"https://api.github.com/repos/fredrik-johansson/flint2/commits/d1d4def9244c682682603d8dfa43e30e0dd171df","message":"fix some todo entries","sha":"d1d4def9244c682682603d8dfa43e30e0dd171df"},{"author":{"name":"Fredrik Johansson","email":"c439222bafc5b3764945b3d7ed4cbf265c684bfe@gmail.com"},"url":"https://api.github.com/repos/fredrik-johansson/flint2/commits/f4ca03881b4853425e84994785f4c8db6423a246","message":"minor cleanup of partition function, and a better precision bound","sha":"f4ca03881b4853425e84994785f4c8db6423a246"}],"head":"f4ca03881b4853425e84994785f4c8db6423a246","size":3,"push_id":47756618}