Fix: Update types for VS Code 1.107 extension API#74198
Fix: Update types for VS Code 1.107 extension API#74198typescript-bot merged 2 commits intoDefinitelyTyped:masterfrom
Conversation
|
@lramos15 Thank you for submitting this PR! This is a live comment that I will keep updated. 1 package in this PRCode ReviewsThis PR can be merged once it's reviewed. You can test the changes of this PR in the Playground. Status
All of the items on the list are green. To merge, you need to post a comment including the string "Ready to merge" to bring in your changes. Diagnostic Information: What the bot saw about this PR{
"type": "info",
"now": "-",
"pr_number": 74198,
"author": "lramos15",
"headCommitOid": "21b4a64e1cf9b192097e6072e1928f602b4b1272",
"mergeBaseOid": "45aa16796155f951c4ed6751bb81a7360bdc4fb7",
"lastPushDate": "2025-12-10T19:25:56.000Z",
"lastActivityDate": "2025-12-10T19:53:38.000Z",
"maintainerBlessed": "Waiting for Author to Merge (Blessed)",
"mergeOfferDate": "2025-12-10T19:35:18.000Z",
"mergeRequestDate": "2025-12-10T19:53:38.000Z",
"mergeRequestUser": "lramos15",
"hasMergeConflict": false,
"isFirstContribution": false,
"tooManyFiles": false,
"hugeChange": false,
"popularityLevel": "Critical",
"pkgInfo": [
{
"name": "vscode",
"kind": "edit",
"files": [
{
"path": "types/vscode/index.d.ts",
"kind": "definition"
},
{
"path": "types/vscode/package.json",
"kind": "package-meta-ok"
}
],
"owners": [
"microsoft"
],
"addedOwners": [],
"deletedOwners": [],
"popularityLevel": "Critical"
}
],
"reviews": [
{
"type": "approved",
"reviewer": "sheetalkamat",
"date": "2025-12-10T19:34:40.000Z",
"isMaintainer": true
}
],
"mainBotCommentID": 3638632059,
"ciResult": "pass"
} |
|
Hey @lramos15, 😒 Your PR doesn't modify any tests, so it's hard to know what's being fixed, and your changes might regress in the future. Please consider adding tests to cover the change you're making. Including tests allows this PR to be merged by yourself and the owners of this module. This can potentially save days of time for you! |
|
🔔 @microsoft — please review this PR in the next few days. Be sure to explicitly select |
|
@lramos15: Everything looks good here. I am ready to merge this PR (at 21b4a64) on your behalf whenever you think it's ready. If you'd like that to happen, please post a comment saying:
and I'll merge this PR almost instantly. Thanks for helping out! ❤️ (@microsoft: you can do this too.) |
|
Ready to merge |
No description provided.