Local-first GitHub browsing
Continue with GitHub to open your repos and stars. Extra permissions are optional.
Extra GitHub permissions (on by default). Uncheck any you do not need.
Bulk-delete repos you administer.
Follow and unfollow people on GitHub.