chore(deps): update sourcegraph

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
@sourcegraph/extension-api-stubs	^1.5.3 -> ^1.6.2
sourcegraph (source)	^25.3.0 -> ^25.7.0

Test plan: CI should pass with updated dependencies. No review required: this is an automated dependency update PR.

---

Release Notes

sourcegraph/extension-api-stubs (@​sourcegraph/extension-api-stubs)

v1.6.2

Compare Source

Bug Fixes

• deps: update dependency sourcegraph to ^25.7.0 (a34b98b)

v1.6.1

Compare Source

Bug Fixes

• deps: update dependency sourcegraph to ^25.5.0 (620e238)

v1.6.0

Compare Source

Features

• support extension API v25.4.0 (#​167) (d7f6f85)

v1.5.4

Compare Source

Bug Fixes

• deps: update dependency @​types/sinon to v10.0.4 (bee7048)

---

Configuration

📅 Schedule: Branch creation - "" in timezone America/Los_Angeles, Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.

[renovate]

⚠ Artifact update problem

Renovate failed to update an artifact related to this branch. You probably do not want to merge this PR as-is.

♻ Renovate will retry this branch, including artifacts, only when one of the following happens:

• any of the package files in this branch needs updating, or
• the branch becomes conflicted, or
• you click the rebase/retry checkbox if found above, or
• you rename this PR's title to start with "rebase!" to trigger it manually

The artifact failure details are included below:

File name: package-lock.json

npm ERR! code ERESOLVE
npm ERR! ERESOLVE could not resolve
npm ERR! 
npm ERR! While resolving: @sourcegraph/[email protected]
npm ERR! Found: [email protected]
npm ERR! node_modules/tslint
npm ERR!   dev tslint@"^6.1.3" from the root project
npm ERR! 
npm ERR! Could not resolve dependency:
npm ERR! peer tslint@"^5.15.0" from @sourcegraph/[email protected]
npm ERR! node_modules/@sourcegraph/tslint-config
npm ERR!   dev @sourcegraph/tslint-config@"^13.4.0" from the root project
npm ERR! 
npm ERR! Conflicting peer dependency: [email protected]
npm ERR! node_modules/tslint
npm ERR!   peer tslint@"^5.15.0" from @sourcegraph/[email protected]
npm ERR!   node_modules/@sourcegraph/tslint-config
npm ERR!     dev @sourcegraph/tslint-config@"^13.4.0" from the root project
npm ERR! 
npm ERR! Fix the upstream dependency conflict, or retry
npm ERR! this command with --force, or --legacy-peer-deps
npm ERR! to accept an incorrect (and potentially broken) dependency resolution.
npm ERR! 
npm ERR! See /tmp/renovate/cache/others/npm/eresolve-report.txt for a full report.

npm ERR! A complete log of this run can be found in:
npm ERR!     /tmp/renovate/cache/others/npm/_logs/2023-12-13T16_32_05_924Z-debug-0.log

[renovate]

⚠️ Artifact update problem

Renovate failed to update an artifact related to this branch. You probably do not want to merge this PR as-is.

♻ Renovate will retry this branch, including artifacts, only when one of the following happens:

• any of the package files in this branch needs updating, or
• the branch becomes conflicted, or
• you click the rebase/retry checkbox if found above, or
• you rename this PR's title to start with "rebase!" to trigger it manually

The artifact failure details are included below:

File name: package-lock.json

npm ERR! code ERESOLVE
npm ERR! ERESOLVE could not resolve
npm ERR! 
npm ERR! While resolving: @sourcegraph/[email protected]
npm ERR! Found: [email protected]
npm ERR! node_modules/tslint
npm ERR!   dev tslint@"^6.1.3" from the root project
npm ERR! 
npm ERR! Could not resolve dependency:
npm ERR! peer tslint@"^5.15.0" from @sourcegraph/[email protected]
npm ERR! node_modules/@sourcegraph/tslint-config
npm ERR!   dev @sourcegraph/tslint-config@"^13.4.0" from the root project
npm ERR! 
npm ERR! Conflicting peer dependency: [email protected]
npm ERR! node_modules/tslint
npm ERR!   peer tslint@"^5.15.0" from @sourcegraph/[email protected]
npm ERR!   node_modules/@sourcegraph/tslint-config
npm ERR!     dev @sourcegraph/tslint-config@"^13.4.0" from the root project
npm ERR! 
npm ERR! Fix the upstream dependency conflict, or retry
npm ERR! this command with --force, or --legacy-peer-deps
npm ERR! to accept an incorrect (and potentially broken) dependency resolution.
npm ERR! 
npm ERR! See /runner/cache/others/npm/eresolve-report.txt for a full report.

npm ERR! A complete log of this run can be found in:
npm ERR!     /runner/cache/others/npm/_logs/2025-12-03T16_50_42_706Z-debug-0.log