Get GitHub to rebuild after spontaneous breakage.