-
Notifications
You must be signed in to change notification settings - Fork 31
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add & apply pre-commit and linting #329
Conversation
@yarikoptic Please merge this soon. |
@yarikoptic I expect there will be more PRs after this that will need to be merged quickly lest they create merge conflicts with other PRs created around the same time. How should this be handled? |
rdfs:label "Phantom Experimental Subject"^^xsd:string . | ||
|
||
|
||
|
||
|
||
### Generated by the OWL API (version 3.5.1) http://owlapi.sourceforge.net | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I would have left autogenerated files without changes -- not familiar yet with turtle format intricately but may be those space indentations are important part of the syntax...? I have tested this one (with trailing spaces removed) at some randomly found http://ttl.summerofcode.be/ -- seems to be ok. I think we can proceed but might need to be ready to revert this part of cleansing
sorry for the delay. I left a comment, let's proceed |
I will keep an eye. Worse comes to worse, feel free to merge yourself, I will review later or just build up the chain of PRs basing one on top of another. |
🚀 PR was released in |
Part of #325.