Skip to content

Feat discipline repository type#5

Merged
caviri merged 2 commits into
developfrom
feat-discipline-repository-type
Jul 22, 2025
Merged

Feat discipline repository type#5
caviri merged 2 commits into
developfrom
feat-discipline-repository-type

Conversation

@caviri
Copy link
Copy Markdown
Member

@caviri caviri commented Jul 22, 2025

Including Discipline and Repository Type extraction

@caviri caviri merged commit 25ea9ea into develop Jul 22, 2025
1 check passed
@caviri caviri deleted the feat-discipline-repository-type branch July 22, 2025 10:51
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