Skip to content

Hot fix for cloning issue#9

Merged
caviri merged 1 commit into
developfrom
bug-avoid-gimie-block
Aug 6, 2025
Merged

Hot fix for cloning issue#9
caviri merged 1 commit into
developfrom
bug-avoid-gimie-block

Conversation

@caviri
Copy link
Copy Markdown
Member

@caviri caviri commented Aug 6, 2025

Symbolics links were giving troubles with repo to text. Ignore them when cloning.

@caviri caviri merged commit 3c51e67 into develop Aug 6, 2025
1 check passed
@caviri caviri deleted the bug-avoid-gimie-block branch August 6, 2025 11:57
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