vscode-lean4
vscode-lean4 copied to clipboard
Please verify domain in the vscode marketplace
To establish more trust and distinguish from other extensions. See this guide: https://code.visualstudio.com/api/working-with-extensions/publishing-extension
Done:
Thanks for the reminder!
@mhuisi Thank you very much! (btw, you could do the same, in almost the same way on the github org)
Looks like it's gone again.
BTW, the guide isn't sufficient to get verified; the Microsoft support team also has to manually agree to the verification, and it's not clear what the criteria are.
@mhuisi Thanks again. Really appreciate it!
@mhuisi Microsoft published an article about verification: https://developer.microsoft.com/blog/security-and-trust-in-visual-studio-marketplace
It seems:
If you see a blue checkmark by an extension, it means the publisher had undergone a series of checks by Marketplace team – their domain was verified, their extensions and domain have been in good standing with the community for at least 6 months.
So, it's understandable why the badge isn't displayed.
Thanks - perhaps that's what's going on :-)
I think the checkmark disappeared when I upgraded VS Code, so there's a chance that the old VS Code version just didn't respect this rule yet.