Skip to content

chore(devcontainer): use GITCONFIG_PATH env var for git config - #3

Merged
artdotlis merged 1 commit into
mainfrom
dev
Oct 30, 2025
Merged

artdotlis merged 1 commit into
mainfrom
dev

Conversation

@artdotlis

Copy link
Copy Markdown
Owner

Use the new GITCONFIG_PATH env var to mount the git config file. Default to HOME/.gitconfig if not set. This allows users to point to a custom git config file in the dev container.

Use the new GITCONFIG_PATH env var to mount the git config file. Default to HOME/.gitconfig if not set. This allows users to point to a custom git config file in the dev container.
@artdotlis
artdotlis merged commit 4208bce into main Oct 30, 2025
3 checks passed
@artdotlis
artdotlis deleted the dev branch October 30, 2025 14:55
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.

1 participant