Closed matthewpi closed 1 year ago
Hey, sorry for the delay on this!
That is a PNG image. Here is the SVG:
@mholt Ever since we transferred the repository I can no longer commit to master or merge PRs without having reviews, which while is usually a good thing makes it difficult to make changes. Would you mind reviewing this PR, and optionally change the branch protection rules?
Oops, sorry! I'm not sure how those settings got checked -- maybe it is a default thing now? Anyway, I lifted some of those restrictions. Try now :)
I don't believe we can easily update the publisher of the extension on the VSCode Marketplace. We would have to publish it under a different name which would cause problems for people who are already using the extension.
PR is a draft until I receive an icon to use for the extension.