-
Notifications
You must be signed in to change notification settings - Fork 74
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
Alternative ways of removing imports #1185
Comments
Would |
Just tried it and got the same outcome, it tries to import everything before merging. EDIT: This is my home account, the other one I can only get in my work computer. |
So you do not want to fetch the imports at all? If that's right, you can remove the |
In this particular case I don't want the imports, mainly because I am extracting portions of several ontologies that have a multiple imports. But you are right, I think I will have to rely on such a solution. Feel free to close if you think this is not a very needed feature, thanks! |
So I am looking to ways to work around this error that I face when I try to build an ontolgy in a Gitlab CI pipeline:
It seems that there is a problem with the configuration of gitlab that does not allow certain applications to make internet requests.
And I came across this suggestion #310 but the problem is that when I try to remove the imports of the ontology, the API tries to import them beforehand.
On one side I could figure a solution for the requests issue in gitlab, but I think is too much effort for something that I do not really need, and other kinds of requests are working.
I also faced this issue and its solution #1150 (comment) and I considered using a similar solution but since I am using a large number of files so it seems to be error prone to me. Unless there is some way in which I can programmatically build a catalog using robot, since I could theoretically wget each of the missing imports and add them to the catalog.
The text was updated successfully, but these errors were encountered: