{"push_id":634958492,"size":1,"distinct_size":1,"ref":"refs/heads/typeclasses","head":"59439c9ee60dae1803965b92178f2aa66243958f","before":"28029afd8ddede6b35242eb5aa996dd6b06c93e1","commits":[{"sha":"59439c9ee60dae1803965b92178f2aa66243958f","author":{"email":"287c97e7b76ec95caea2fe10277ea5cd3b55bc84@gmail.com","name":"Daniel Schepler"},"message":"Convert Subbases to type classes","distinct":true,"url":"https://api.github.com/repos/dschepler/coq-topology/commits/59439c9ee60dae1803965b92178f2aa66243958f"}]}