{"head":"5c8e1f4208ac6f65d9fa22d6c961e5509631642d","size":1,"push_id":45505816,"shas":[["5c8e1f4208ac6f65d9fa22d6c961e5509631642d","1be5721875d0edf3d959f30c451eebe1352e3f1d@gmail.com","Cleanup, loosening the dependence on Allegro","Kasper Meerts"]],"ref":"refs/heads/master"}