GitHub does not currently provide a built-in repository setting to disable github.dev

Very cool.