Skip to content

Conversation

@mikepenz
Copy link
Owner

@mikepenz mikepenz commented Nov 1, 2024

@mikepenz mikepenz added the other label Nov 1, 2024
@mikepenz mikepenz merged commit ae7b1bc into develop Nov 1, 2024
5 checks passed
@mikepenz mikepenz deleted the fix/1384 branch November 1, 2024 09:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Error: "fatal: not a git repository (or any of the parent directories): .git"

1 participant