The GitHub docs say there should be an option to allow specific actors to bypass required pull requests:

I need this for CI, which commits version updates automatically on the master branch. However other admin users should still have to go through PR process.
But this option isn't showing in GitHub:

How do I get this option to display?