I talked last year about vscode.dev as a way to bring Visual Studio Code to your browser. But did you know that this experience got nicely integrated into Github? Hit the . key on any repository and the github.dev web based editor is loaded. It also works for pull requests: You can make your changes and directly push them back to Github. Nice! And that is only the beginning, if you want to learn about some cool things you can do with Github.dev, check out this post: https://dev.to/lostintangent/10-awesome-things-you-can-do-with-github-dev-5fm7