{"push_id":3029381273,"size":2,"distinct_size":2,"ref":"refs/heads/wip/new-ocean","head":"ad157c408cd7ad4badec71a84551a836a343f27b","before":"74f791936f28b175265994494412698e90d0e85f","commits":[{"sha":"2a46036ea4e2e6bb6505ebbfd3e4609aeb7c3845","author":{"name":"Alec Theriault","email":"80bc400a5ae5988a799a16fd15d1e6ec7e0e030f@gmail.com"},"message":"Fix issues around plus/minus\n\n  * swap the minimize unicode to something more intuitive\n  * use new unicode expander/collapser for instance lists\n  * address some alignment issues in the \"index\" page","distinct":true,"url":"https://api.github.com/repos/ghc/haddock/commits/2a46036ea4e2e6bb6505ebbfd3e4609aeb7c3845"},{"sha":"ad157c408cd7ad4badec71a84551a836a343f27b","author":{"name":"Alec Theriault","email":"80bc400a5ae5988a799a16fd15d1e6ec7e0e030f@gmail.com"},"message":"Allow \"Contents\" summary to scroll in a fixed div\n\nIn the unfortunate event that the \"Contents\" summary doesn't fit\nvertically (like in the \"Prelude\"), it will be scrollable.","distinct":true,"url":"https://api.github.com/repos/ghc/haddock/commits/ad157c408cd7ad4badec71a84551a836a343f27b"}]}
{"actor":{"display_login":"bgamari"}}