Update some metadata#237
Conversation
| "url": "https://github.com/eisopux/checker-framework-vscode.git" | ||
| }, | ||
| "publisher": "zhangjiangqige", | ||
| "publisher": "eisopux", |
There was a problem hiding this comment.
Figure out whether this can be the Github organization name or whether it needs to be a user name.
There was a problem hiding this comment.
@wmdietl I think we can directly use eisop for the publisher. https://code.visualstudio.com/api/working-with-extensions/publishing-extension#create-a-publisher
There was a problem hiding this comment.
Pull request overview
This PR updates VS Code extension metadata and user-facing configuration descriptions for the Checker Framework VS Code extension.
Changes:
- Renames the package and publisher metadata.
- Bumps the extension version to 0.3.0.
- Updates configuration descriptions and Checker Framework manual link.
Comments suppressed due to low confidence (3)
package.json:81
- Use the official capitalization “GitHub” in this user-facing setting description.
"description": "From which Github repository under checkerframework_org to download the Checker Framework."
package.json:86
- Use the official capitalization “GitHub” in this user-facing setting description.
"description": "From which Github organization to download the language server."
package.json:91
- Use the official capitalization “GitHub” in this user-facing setting description.
"description": "From which Github repository under languageserver_org to download the language server."
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
| "name": "checker-framework-vscode", | ||
| "description": "LSP client for the EISOP Checker Framework", | ||
| "author": "eisopux", | ||
| "license": "MIT", | ||
| "version": "0.2.0", | ||
| "version": "0.3.0", |
| "type": "string", | ||
| "default": "eisop", | ||
| "description": "From which Github organization to download Checker Framework." | ||
| "description": "From which Github organization to download the Checker Framework." |
There was a problem hiding this comment.
@copilot apply changes based on this feedback in a separate PR.
| { | ||
| "name": "checker-framework-language-server", | ||
| "description": "LSP client for the Checker Framework", | ||
| "name": "checker-framework-vscode", |
No description provided.