{"number":1,"pull_request":{"title":"completely minor changes to make the line-heights of the right-hand bar show up right","number":1,"commits":2,"deletions":1,"id":191011,"issue_id":1089789,"additions":3},"action":"closed"}