Skip to content

Fixup: Submodule path#11

Merged
OrdiNeu merged 1 commit intodevelopfrom
bugfix/push-pr-repo
Dec 10, 2025
Merged

Fixup: Submodule path#11
OrdiNeu merged 1 commit intodevelopfrom
bugfix/push-pr-repo

Conversation

@OrdiNeu
Copy link
Copy Markdown
Contributor

@OrdiNeu OrdiNeu commented Dec 10, 2025

Fix for the wrong submodule path in #10

@OrdiNeu OrdiNeu requested a review from daisieh December 10, 2025 15:55
Copy link
Copy Markdown
Member

@daisieh daisieh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@OrdiNeu OrdiNeu merged commit d5d17e8 into develop Dec 10, 2025
@OrdiNeu OrdiNeu deleted the bugfix/push-pr-repo branch December 10, 2025 18:21
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.

2 participants