mirror of
https://github.com/harvard-edge/cs249r_book.git
synced 2026-05-07 02:03:55 -05:00
[PR #1468] [MERGED] deps(labs-ext): bump @types/vscode from 1.110.0 to 1.116.0 in /labs/vscode-ext #7337
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/harvard-edge/cs249r_book/pull/1468
Author: @dependabot[bot]
Created: 4/22/2026
Status: ✅ Merged
Merged: 4/22/2026
Merged by: @profvjreddi
Base:
dev← Head:dependabot/npm_and_yarn/labs/vscode-ext/dev/types/vscode-1.116.0📝 Commits (1)
a6db133deps(labs-ext): bump @types/vscode in /labs/vscode-ext📊 Changes
2 files changed (+5 additions, -5 deletions)
View changed files
📝
labs/vscode-ext/package-lock.json(+4 -4)📝
labs/vscode-ext/package.json(+1 -1)📄 Description
Bumps @types/vscode from 1.110.0 to 1.116.0.
Commits
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore this major versionwill close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this minor versionwill close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)@dependabot ignore this dependencywill close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.