Hidden features of Github
If you're on a repo main page and press . then you open it up in "github.dev": an online VSCode instance where you can make edits to code, push commits, and review pull requests inline.
If you click on your profile picture in the upper right corn...
