Compare: Open Github in editor vs Open in (GitHub) Dev!
| Stats |   Open Github in editor |  Open in (GitHub) Dev! |
|---|---|---|
| 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 | |
- | - |
Extensions / applications populaires
Voici quelques extensions / applications populaires qui pourraient vous intéresser :
Dark Reader
Dark Reader Ltd
1M 4.49 
(6,851)
Ghostery AdBlocker for Privacy
https://www.ghostery.com/
2M 4.65 (18,599) 
Buyhatke: Price History & Tracker, Spend Lens
https://buyhatke.com
900K 4.75 (4,622) 
Speed Dial [FVD] - New Tab Page, 3D, Sync...
https://fvdspeeddial.com
500K 4.69 (117,852)
Serasa: Consulta CPF e Score
Serasa Experian
109M 4.61 (865,129) 
Auto Refresh Plus | Page Monitor
https://autorefresh.io
1000K 4.87 (21,702)
Global Speed - Video Speed Control
polywock
6M 4.60 (1,051) 
Project Makeover
Magic Tavern, Inc.
216M 4.52 (1,199,505) 
Coupert - Automatic Coupon Finder & Cashback
https://www.coupert.com/
3M 4.73 (11,037) 
Dashlane — Password Manager
https://dashlane.com
1000K 4.71 (17,701) 
wanteeed
https://wanteeed.com/
500K 4.78 (24,641) 
NetShort - Popular Dramas & TV
NETSTORY PTE. LTD.
108M 4.59 (1,198,128)