Turn develop green as soon as a passing fix merges

Develop status now reflects passing fix merges, and its link opens the failed job.