At https://github.com/leo-editor/leo-editor/pull/1558 we have a PR that’s stuck in “waiting for status to be reported” mode.
As per the issue thread Known Issue: Travis CI reports "Expected - Waiting for status to be reported" on the GitHub Status API, but the status never arrives I’m opening a new thread because the supplied remedy can’t be applied to our repo.
The remedy says that under the repo Settings >> Branch Protection Settings we should change from the deprecated
continuous-integration/travis-ci to one or both of
Travis CI - Pull Request and
Travis CI - Branch. I am unable to do this because those choices are not offered:
What do we do?