3 ms·GitHub does not currently provide a built-in repository setting to disable github.dev Very cool.by jonnyysmith 4mo agoGitHub does not currently provide a built-in repository setting to disable github.dev Very cool.