Skip to content

chore(deps): update ghcr.io/containerbase/devcontainer docker tag to v13.25.17 (main)#40107

Merged
renovate[bot] merged 1 commit intomainfrom
renovate/main-ghcr.io-containerbase-devcontainer-13.x
Dec 22, 2025
Merged

chore(deps): update ghcr.io/containerbase/devcontainer docker tag to v13.25.17 (main)#40107
renovate[bot] merged 1 commit intomainfrom
renovate/main-ghcr.io-containerbase-devcontainer-13.x

Conversation

@renovate
Copy link
Copy Markdown
Contributor

@renovate renovate Bot commented Dec 22, 2025

This PR contains the following updates:

Package Type Update Change
ghcr.io/containerbase/devcontainer final patch 13.25.16 -> 13.25.17

Release Notes

containerbase/devcontainer (ghcr.io/containerbase/devcontainer)

v13.25.17: 13.25.17

Compare Source

See https://github.com/containerbase/base/releases/tag/13.25.17 for more changes


Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


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

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

…v13.25.17

| datasource | package                            | from     | to       |
| ---------- | ---------------------------------- | -------- | -------- |
| docker     | ghcr.io/containerbase/devcontainer | 13.25.16 | 13.25.17 |
@renovate renovate Bot enabled auto-merge December 22, 2025 10:27
@renovate renovate Bot added this pull request to the merge queue Dec 22, 2025
Merged via the queue into main with commit b16614d Dec 22, 2025
41 checks passed
@renovate renovate Bot deleted the renovate/main-ghcr.io-containerbase-devcontainer-13.x branch December 22, 2025 10:39
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Jan 22, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants