Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Update repos with latest versions for postcoordination and logical definitions #125

Closed
soimugeoWB opened this issue Oct 28, 2024 · 1 comment · Fixed by protegeproject/webprotege-gwt-ui#85, protegeproject/webprotege-backend-api#23, protegeproject/webprotege-gwt-api-gateway#22, protegeproject/webprotege-event-history-service#12 or protegeproject/webprotege-backend-service#49
Closed

Update repos with latest versions for postcoordination and logical definitions #125

soimugeoWB opened this issue Oct 28, 2024 · 1 comment · Fixed by protegeproject/webprotege-gwt-ui#85, protegeproject/webprotege-backend-api#23, protegeproject/webprotege-gwt-api-gateway#22, protegeproject/webprotege-event-history-service#12 or protegeproject/webprotege-backend-service#49
Assignees
@soimugeoWB
Labels
topic: logical def. Issue related to logical definition editing topic: post-coordination Issue related to post-coordination editing
Milestone
Deliverable 4: Po...

Comments

@soimugeoWB
Copy link
Collaborator

Update repos with latest versions for postcoordination and logical definitions.

Also resolve conflicts where needed and merge existing MRs.
@soimugeoWB soimugeoWB self-assigned this Oct 28, 2024
@soimugeoWB soimugeoWB added topic: post-coordination Issue related to post-coordination editing topic: logical def. Issue related to logical definition editing labels Oct 28, 2024
This was linked to pull requests Oct 28, 2024
Logical definition with filtered tree protegeproject/webprotege-gwt-ui#85
Merged
Master who with filtered trees protegeproject/webprotege-backend-api#23
Merged
Update backend-api protegeproject/webprotege-gwt-api-gateway#22
Merged
Update backend-api protegeproject/webprotege-event-history-service#12
Merged
Logical definition with filtered trees protegeproject/webprotege-backend-service#49
Merged
@soimugeoWB
Copy link
Collaborator Author

Tested everything and it seems to work except for logical definitions due to #127 .
Closing this issue and will fix #127 separately.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@soimugeoWB soimugeoWB

Labels
topic: logical def. Issue related to logical definition editing topic: post-coordination Issue related to post-coordination editing
Projects
None yet
Milestone
Deliverable 4: Post-coordination and ...
1 participant
@soimugeoWB