Update GitHub status.

SeeRM #8747