{"push_id":1164045392,"size":1,"distinct_size":1,"ref":"refs/heads/wip/T10613","head":"095dee89a6316c7ae5d16b005e3a28eba07df792","before":"e974fe2bf973459715215b1a674fe467ae42af1b","commits":[{"sha":"095dee89a6316c7ae5d16b005e3a28eba07df792","author":{"name":"Joachim Breitner","email":"3b8e10480754ba93523db5dc4626a5f001e54bb7@joachim-breitner.de"},"message":"[Temporary hack, not for master] DmdAnal: Remember by “Many” things are many\n\nI change the type\n\tdata Count = One | Many\ninto\n\tdata Count = One | Many [String]\nand use these list of strings (always sorted and nub'ed) to track the\nvarious reasons why something is called many times.","distinct":true,"url":"https://api.github.com/repos/ghc/ghc/commits/095dee89a6316c7ae5d16b005e3a28eba07df792"}]}
{"actor":{"display_login":"ghc-mirror"}}