git-ci to check CI status for a GitHub commit