Skip to content

doc: include podman settings in devcontainers doc resolves #661#673

Merged
castrojo merged 3 commits intoprojectbluefin:mainfrom
NahsiN:update-devcontainers-docs
Mar 30, 2026
Merged

doc: include podman settings in devcontainers doc resolves #661#673
castrojo merged 3 commits intoprojectbluefin:mainfrom
NahsiN:update-devcontainers-docs

Conversation

@NahsiN
Copy link
Copy Markdown
Contributor

@NahsiN NahsiN commented Mar 22, 2026

Addresses #661 by adding documentation on Dev Container podman setings.

Copy link
Copy Markdown
Contributor

@gemini-code-assist gemini-code-assist bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Code Review

This pull request adds documentation for configuring dev containers to use podman. The changes are helpful, but I've identified a potential issue with a hardcoded user ID in the provided settings. This could lead to a broken configuration for users who don't have the default UID. I've suggested an update to the documentation to make this clearer and guide users to find their correct UID, which I've marked as a high-severity issue to ensure the documentation is accurate for all users.

Comment thread docs/devcontainers.md Outdated
@castrojo
Copy link
Copy Markdown
Contributor

Did this regress? I could have sworn the last time I looked it was a checkbox on setup or in the settings?

@castrojo castrojo enabled auto-merge March 30, 2026 12:23
@castrojo castrojo added this pull request to the merge queue Mar 30, 2026
Merged via the queue into projectbluefin:main with commit 9558137 Mar 30, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants