3 ms·GitHub/Dev: Navigate GitHub Repo or PR in a VS Code Environment in the Browser2 points by enricozb 5y ago