{"push_id":1438903257,"size":1,"distinct_size":1,"ref":"refs/heads/kyod_universes","head":"fde70a91a1093dc5870dded81dbf2a64c3c066fa","before":"aa9e94ccbd7c215920fd1cc9b873e71bee7e944c","commits":[{"sha":"fde70a91a1093dc5870dded81dbf2a64c3c066fa","author":{"name":"Kenji Maillard","email":"4d0ff04ef8c577d7a802f9bb3768f05eef558868@ens.fr"},"message":"Collecting explicit universe varaible in order and forbid mixing\nexplicit and implicitly generalized universes","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/fde70a91a1093dc5870dded81dbf2a64c3c066fa"}]}
{"actor":{"display_login":"kyoDralliam"}}