@thomasfuchs worse, the only way I was able to figure that out was noticing a teeny tiny red X at the root level of the repo in GitHub's UI where this green checkmark is now.