{"number":1,"pull_request":{"title":"Assorted changes to whatdists.pl that have proved useful for me","number":1,"commits":6,"deletions":14,"id":229922,"issue_id":1250212,"additions":51},"action":"closed"}