Hacker News new | ask | show | jobs
by jonnyysmith 22 days ago
GitHub does not currently provide a built-in repository setting to disable github.dev

Very cool.