The wiki push test on CI doesn't work any more because it uses password authentication, which GitHub no longer allows.