You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
What is the motivation for your change request?
Using different tools/editors can result in different serializations, which makes the git diff function useless.
Describe the solution you'd like
We need to decide on a tool that we make mandatory to be used for edits. I suggest to require certain versions of Protege. Which versions are allowed will depend on their respective OWLAPI version.
Describe alternatives you've considered
A github action that re-serializes every commit in a particular order to make diffs easier to understand. Might be complicated and brings maybe new issues with it.
Additional context
Thanks to @StroemPhi for the discussions and hints!
The text was updated successfully, but these errors were encountered:
What is the motivation for your change request?
Using different tools/editors can result in different serializations, which makes the git diff function useless.
Describe the solution you'd like
We need to decide on a tool that we make mandatory to be used for edits. I suggest to require certain versions of Protege. Which versions are allowed will depend on their respective OWLAPI version.
Describe alternatives you've considered
A github action that re-serializes every commit in a particular order to make diffs easier to understand. Might be complicated and brings maybe new issues with it.
Additional context
Thanks to @StroemPhi for the discussions and hints!
The text was updated successfully, but these errors were encountered: