Compare: Open Github in editor vs Open in (GitHub) Dev!
| Stats | ||
|---|---|---|
| User count | 1 | - |
| Average rating | 4.00 | 0.00 |
| Rating count | 2 | 0 |
| Last updated | 2020-08-23 | 2024-10-09 |
| Size | 54.85KB | 174.24KB |
| Version | 1.1.1 | 1.0.0 |
| Short description | |
|---|---|
| opens github PR diff lines and files locally in your editor. Supports vscode, vscode-insiders and textmate. more to come! | Conveniently open GitHub repos in GitHub.dev via right-click. |
| Full summary | |
- | - |
Popular Extensions / Apps
Here are some popular extensions / apps that you might be interested in:
Brain Test 2: Tricky Stories
Unico Studio
Loom – Screen Recorder & Screen Capture
https://loom.com
Prime Video
Amazon Mobile LLC
Microsoft Word
Microsoft Corporation
Akulaku —Online Shopping
PT. Akulaku Silvrr Indonesia
Dashlane — Password Manager
https://dashlane.com
Bitwarden Password Manager
Bitwarden Inc.
Speed Dial [FVD] - New Tab Page, 3D, Sync...
https://fvdspeeddial.com
Browsec VPN - Free VPN for Chrome
https://browsec.com
Global Speed - Video Speed Control
polywock
DeepSider™:ChatGPT Sidebar
DeepSider
Brisk Teaching - AI that Works Where Teachers Work
https://www.briskteaching.com/