{"push_id":2893411651,"size":1,"distinct_size":1,"ref":"refs/heads/ghc-8.6","head":"6f717bc6440d6dcf368fc605fabb86d7619510af","before":"359594905e2ce04fbf3fb7fa4e9ecaa9953cb12c","commits":[{"sha":"6f717bc6440d6dcf368fc605fabb86d7619510af","author":{"name":"Ben Gamari","email":"73675debcd8a436be48ec22211dcf44fe0df0a64@smart-cactus.org"},"message":"users-guide: Fix build with sphinx 1.8\n\nIt seems that both add_object_type and add_directive_to_domain both register a\ndirective. Previously sphinx didn't seem to mind this but as of Sphinx 1.8 it\ncrashes with an exception.\n\n(cherry picked from commit 4eebc8016f68719e1ccdf460754a97d1f4d6ef05)","distinct":true,"url":"https://api.github.com/repos/ghc/ghc/commits/6f717bc6440d6dcf368fc605fabb86d7619510af"}]}
{"actor":{"display_login":"bgamari"}}