Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update devcontainer #71

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Update devcontainer #71

wants to merge 2 commits into from

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Aug 16, 2024

Mend Renovate

This PR contains the following updates:

Package Type Update Change
ghcr.io/devcontainers/features/desktop-lite feature patch 1.2.0 -> 1.2.4
ghcr.io/devcontainers/features/python feature patch 1.6.2 -> 1.6.3
mcr.microsoft.com/devcontainers/base image patch 1.1.2-ubuntu-22.04 -> 1.1.3-ubuntu-22.04

Warning

Some dependencies could not be looked up. Check the Dependency Dashboard for more information.


Configuration

📅 Schedule: Branch creation - "on the 16th day of the month" (UTC), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, 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 renovate bot added the dependencies Pull requests that update a dependency file label Aug 16, 2024
Copy link
Contributor Author

renovate bot commented Aug 16, 2024

Edited/Blocked Notification

Renovate will not automatically rebase this PR, because it does not recognize the last commit author and assumes somebody else may have edited the PR.

You can manually request rebase by checking the rebase/retry box above.

⚠️ Warning: custom changes will be lost.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file
Projects
Status: Do
Development

Successfully merging this pull request may close these issues.

0 participants