Skip to content

Fix VS Code types#74099

Merged
jakebailey merged 1 commit intoDefinitelyTyped:masterfrom
jakebailey:vscode
Nov 17, 2025
Merged

Fix VS Code types#74099
jakebailey merged 1 commit intoDefinitelyTyped:masterfrom
jakebailey:vscode

Conversation

@jakebailey
Copy link
Member

@jakebailey jakebailey requested a review from mjbvz November 17, 2025 17:06
@typescript-bot
Copy link
Contributor

typescript-bot commented Nov 17, 2025

@jakebailey Thank you for submitting this PR!

This is a live comment that I will keep updated.

1 package in this PR

Code Reviews

Because this PR edits the configuration file, it can be merged once it's reviewed by a DT maintainer.

You can test the changes of this PR in the Playground.

Status

  • ✅ No merge conflicts
  • ✅ Continuous integration tests have passed
  • 🕐 A DT maintainer needs to approve changes that affect module config files

Once every item on this list is checked, I'll ask you for permission to merge and publish the changes.


Diagnostic Information: What the bot saw about this PR
{
  "type": "info",
  "now": "-",
  "pr_number": 74099,
  "author": "jakebailey",
  "headCommitOid": "c96eadc38654fc07af6f37e0b8106c81e3e970d3",
  "mergeBaseOid": "2d04c5c11572f98270b7561fb59707a29da8e2b3",
  "lastPushDate": "2025-11-17T17:06:05.000Z",
  "lastActivityDate": "2025-11-17T17:32:59.000Z",
  "hasMergeConflict": false,
  "isFirstContribution": false,
  "tooManyFiles": false,
  "hugeChange": false,
  "popularityLevel": "Popular",
  "pkgInfo": [
    {
      "name": "vscode",
      "kind": "edit",
      "files": [
        {
          "path": "types/vscode/.eslintrc.json",
          "kind": "package-meta",
          "suspect": "not [the expected form](https://github.com/DefinitelyTyped/DefinitelyTyped#user-content-linter-eslintrcjson) and not moving towards it (check: `rules`)"
        },
        {
          "path": "types/vscode/package.json",
          "kind": "package-meta-ok"
        }
      ],
      "owners": [
        "microsoft"
      ],
      "addedOwners": [],
      "deletedOwners": [],
      "popularityLevel": "Popular"
    }
  ],
  "reviews": [
    {
      "type": "approved",
      "reviewer": "mjbvz",
      "date": "2025-11-17T17:23:33.000Z",
      "isMaintainer": false
    }
  ],
  "mainBotCommentID": 3542978633,
  "ciResult": "pass"
}

@typescript-bot typescript-bot added Popular package This PR affects a popular package (as counted by NPM download counts). Check Config Changes a module config files labels Nov 17, 2025
@typescript-bot typescript-bot moved this to Waiting for Code Reviews in Pull Request Status Board Nov 17, 2025
@typescript-bot
Copy link
Contributor

🔔 @microsoft — please review this PR in the next few days. Be sure to explicitly select Approve or Request Changes in the GitHub UI so I know what's going on.

Comment on lines +5 to +6
"nonNpm": "conflict",
"nonNpmDescription": "TypeScript definitions for the Visual Studio Code Extension API",
Copy link
Member Author

Choose a reason for hiding this comment

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

@mjbvz Is this file also generated by you? If so, I'd like to make sure these two lines are generated too.

Copy link
Collaborator

Choose a reason for hiding this comment

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

This one isn't. Just the vscode.d.ts

Copy link
Member Author

Choose a reason for hiding this comment

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

Are you sure? The version in this file needs to be updated so I believe this must be modified somehow.

Copy link
Collaborator

Choose a reason for hiding this comment

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

The person running the release manually bumps it. We didn’t automate this afaik

Copy link
Member Author

Choose a reason for hiding this comment

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

Oh, huh. We should fix that. Anyway, thanks.

Copy link
Member Author

Choose a reason for hiding this comment

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

@typescript-bot typescript-bot moved this from Waiting for Code Reviews to Needs Maintainer Review in Pull Request Status Board Nov 17, 2025
Copy link
Collaborator

@mjbvz mjbvz left a comment

Choose a reason for hiding this comment

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

Thanks!

@typescript-bot typescript-bot added the Other Approved This PR was reviewed and signed-off by a community member. label Nov 17, 2025
@jakebailey jakebailey merged commit 73e49dd into DefinitelyTyped:master Nov 17, 2025
4 checks passed
@jakebailey jakebailey deleted the vscode branch November 17, 2025 17:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Check Config Changes a module config files Other Approved This PR was reviewed and signed-off by a community member. Popular package This PR affects a popular package (as counted by NPM download counts).

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants