Skip to content

make safe directory configurable#355

Open
waldner wants to merge 1 commit intoanothrNick:masterfrom
waldner:master
Open

make safe directory configurable#355
waldner wants to merge 1 commit intoanothrNick:masterfrom
waldner:master

Conversation

@waldner
Copy link

@waldner waldner commented Jan 4, 2026

Currently, the code just sets /github/workspace (hardcoded) as "safe" git directory. I'm using the action in a non-github CI pipeline (forgejo) and I'm getting the error

fatal: detected dubious ownership in repository at '/workspace/waldner/cert-manager-webhook-he'
To add an exception for this directory, call:
	git config --global --add safe.directory /workspace/waldner/cert-manager-webhook-he

So I'm submitting this PR with a proposal to make that directory configurable using SAFE_DIRECTORY (the default, of course, still being /github/workspace).

@waldner waldner force-pushed the master branch 3 times, most recently from 40c0e9f to af95d14 Compare January 5, 2026 11:34
@waldner
Copy link
Author

waldner commented Jan 5, 2026

Modified to use $GITHUB_WORKSPACE instead of introducing a new variable.

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