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
If multiple repos with the same name from different users are using OnToology, things will be missed up. The reason is that the way OnToology works is that before it forks the repo, it deletes all repos from OnToologyUser which matches the name. GitHub solves this by appending numbers (e.g., myuser/myrepo will be forked to OnToologyUser/myrepo-2) in case another fork already exists.
Proposed Solution.
From the repo it self, we can get the list of forks, and then if OnToologyUser is there, we can delete it. This is a much solution.
The text was updated successfully, but these errors were encountered:
If multiple repos with the same name from different users are using OnToology, things will be missed up. The reason is that the way OnToology works is that before it forks the repo, it deletes all repos from OnToologyUser which matches the name. GitHub solves this by appending numbers (e.g., myuser/myrepo will be forked to OnToologyUser/myrepo-2) in case another fork already exists.
Proposed Solution.
From the repo it self, we can get the list of forks, and then if OnToologyUser is there, we can delete it. This is a much solution.
The text was updated successfully, but these errors were encountered: