https://pranavgore09.github.io/tags/developer-tools/ Recent content in Developer-Tools on Pranav Gore https://pranavgore09.github.io/img/profile4_small.png https://pranavgore09.github.io/img/profile4_small.png Hugo en Fri, 20 May 2022 15:24:16 +0530 https://pranavgore09.github.io/blogs/vscode_plugin/ Fri, 20 May 2022 15:24:16 +0530 https://pranavgore09.github.io/blogs/vscode_plugin/ A practical walkthrough of building a custom Visual Studio Code extension — from scaffolding to shipping a working developer utility. https://pranavgore09.github.io/blogs/gitpush/ Thu, 08 Feb 2018 14:45:26 +0530 https://pranavgore09.github.io/blogs/gitpush/ A one-line git configuration trick to prevent accidentally pushing to an upstream repository you don't intend to touch.