Skip to content

Update some metadata #237

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wmdietl wants to merge 6 commits into
base: master
Choose a base branch
from
Open

Update some metadata #237

Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
4e903f9
Update some metadata
wmdietl Jan 3, 2024
c5c4da9
Merge branch 'master' into update-metadata
wmdietl Jan 26, 2024
2f080a3
Merge branch 'master' into update-metadata
wmdietl Jun 26, 2024
af7d3a9
Merge branch 'master' into update-metadata
wmdietl Jan 16, 2025
94599ff
Merge branch 'master' into update-metadata
wmdietl May 14, 2026
c327986
Normalize “GitHub” capitalization in metadata setting descriptions (#…
Copilot May 14, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 9 additions & 9 deletions package.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,14 +1,14 @@
{
"name": "checker-framework-language-server",
"description": "LSP client for the Checker Framework",
"name": "checker-framework-vscode",
"description": "LSP client for the EISOP Checker Framework",
"author": "eisopux",
"license": "MIT",
"version": "0.2.0",
"version": "0.3.0",
Comment on lines +2 to +6
"repository": {
"type": "git",
"url": "https://github.com/eisopux/checker-framework-vscode.git"
},
"publisher": "zhangjiangqige",
"publisher": "eisopux",

@wmdietl wmdietl Jan 3, 2024

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Figure out whether this can be the Github organization name or whether it needs to be a user name.

@aosen-xiong aosen-xiong Feb 28, 2024

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@wmdietl I think we can directly use eisop for the publisher. https://code.visualstudio.com/api/working-with-extensions/publishing-extension#create-a-publisher

"categories": [
"Linters"
],
Expand Down Expand Up @@ -47,7 +47,7 @@
"default": [
"org.checkerframework.checker.nullness.NullnessChecker"
],
"description": "List of checkers enabled for compilation. More details in: https://checkerframework.org/manual/#running"
"description": "List of checkers enabled for compilation. More details in: https://eisop.github.io/cf/manual/manual.html#running"
},
"checker-framework.frameworkPath": {
"type": "string",
Expand All @@ -73,22 +73,22 @@
"checker-framework.checkerframework_org": {
"type": "string",
"default": "eisop",
"description": "From which Github organization to download Checker Framework."
"description": "From which Github organization to download the Checker Framework."

@wmdietl wmdietl May 14, 2026

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@copilot apply changes based on this feedback in a separate PR.

},
"checker-framework.checkerframework_repo": {
"type": "string",
"default": "checker-framework",
"description": "From which Github repository under checkerframework_org to download Checker Framework."
"description": "From which Github repository under checkerframework_org to download the Checker Framework."
},
"checker-framework.languageserver_org": {
"type": "string",
"default": "eisopux",
"description": "From which Github organization to download language server."
"description": "From which Github organization to download the language server."
},
"checker-framework.languageserver_repo": {
"type": "string",
"default": "checker-framework-languageserver",
"description": "From which Github repository under checkerframework_org to download language server."
"description": "From which Github repository under languageserver_org to download the language server."
}
}
}
Expand Down