You can use GitHub plugin in VSCode and use "Gists" instead of having push and pull notes from a repo. I find it a lot easier, and the quick scratchpad is reall

You can use GitHub plugin in VSCode and use "Gists" instead of having push and pull notes from a repo. I find it a lot easier, and the quick scratchpad is really nice.