Skip to content

Conversation

@ErmiasBeyene
Copy link

No description provided.

@kochebina
Copy link
Contributor

Dear @ErmiasBeyene, could you, please, introduce your-self (from which institution you are) and provide a short explanation of the proposed changes, i. e. motivation behind it

@ErmiasBeyene
Copy link
Author

ErmiasBeyene commented Jan 22, 2026 via email

@kochebina
Copy link
Contributor

@ErmiasBeyene, hi.
Are you sure that you are at the correct repository?
This is official repository where you should open a PR when your development is well advanced or even more finished and ready to be added to the GATE contribution
For intermediate developments and tests, please, use your personal repository
Let me know if I misinterpret your PR

@ErmiasBeyene ErmiasBeyene closed this by deleting the head repository Jan 24, 2026
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