Fix github pull request status on main page.