Github build statuses

WIP - open for discussion
this looks the same as below in `record_job_result`. should we move the abstraction level (i.e. move the dispatching into  `get_prs_for_build` (with a new name))?