GitHub: what if

you surf to a GitHub repository, for example
and replace .com with .dev?


Well that’s a heck of a thing. Probably mostly useful for web devs with devops pipelines. Need to research what kind of build pipelines it supports to decide how useful it is beyond web workloads, but I’m generally in love with it.

Nifty shortcut: Go to any github repo, and just press the period key (.). It will take you directly to VSCode where you can edit and submit pull requests.