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...