Skip to content

Raise error when dubious git ownership is at fault#161

Merged
timvink merged 1 commit intomasterfrom
109-improve-error-message-for-dubious-git-ownership
Mar 4, 2025
Merged

Raise error when dubious git ownership is at fault#161
timvink merged 1 commit intomasterfrom
109-improve-error-message-for-dubious-git-ownership

Conversation

@timvink
Copy link
Copy Markdown
Owner

@timvink timvink commented Mar 4, 2025

Closes #109

@timvink timvink linked an issue Mar 4, 2025 that may be closed by this pull request
@timvink timvink merged commit db0c72c into master Mar 4, 2025
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.

Improve error message for dubious git ownership

1 participant