Setting up a Git repository when used with VSCode.dev via Tampermonkey Editors

[mihaibirsan]

Context: I've used VSCode.dev with the Tampermonkey Editors extension and loved it!

This is a feature request, and I'm even willing to contribute code! (Wasn't able to find the source code for Tampermonkey Editors, though...)

Expected Behavior

Ability to specify a git repository for a userscript, at the individual script level when using VSCode.dev

Note that the current setup in Tampermonkey Editors could take some improvements, for example to respect the original userscript filename, and to not include the external directory.

Actual Behavior

Currently, still copy and paste to a local file, in a directory I can commit and push. Otherwise I just copy and paste in the GitHub Gist website.

Specifications

• Chromium: (i.e. 64.0.3282.140)
• TM: (i.e. 4.5.5648)
• OS: (i.e. MacOS 10.13.4)

Script

https://gist.github.com/mihaibirsan/d659f04663460fc775075fccf58f4b40