{"number":5,"pull_request":{"title":"tweaks; directory of results pdfs","number":5,"commits":5,"deletions":2440,"id":103453,"issue_id":712228,"additions":4280},"repo":"avsm/mirage-perf","actor":"avsm","actor_gravatar":"a4fe81907d90ae55d4901645c895dc85","action":"closed"}