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

Workspace API Enhancement #621

Merged
merged 7 commits into from
Dec 18, 2023
Merged

Workspace API Enhancement #621

merged 7 commits into from
Dec 18, 2023

Conversation

hakanaktas0
Copy link
Contributor

@hakanaktas0 hakanaktas0 commented Dec 17, 2023 •
edited

This PR includes:

  • set_workspace_theorem API
  • set_workspace_proof API
  • remove_workspace_theorem API
  • remove_workspace_proof API
  • change_workspace_title API
  • request_id is added to get_workspace API
  • review_workspaces are added to get_user_workspaces
  • create_workspace API is enhanced to include creating a workspace using an existing node
  • update_review_request_status API is updated to include creating a workspace using an existing node
  • Contributor field for theorems and proofs
  • ReviewRequestUpdate to allow accept and reject review offers.
    mostly fixes Workspace API update #600

@hakanaktas0 hakanaktas0 self-assigned this Dec 17, 2023
@hakanaktas0 hakanaktas0 added the backend issues related to backend label Dec 17, 2023
Bera0422
Bera0422 approved these changes Dec 18, 2023
View reviewed changes
Copy link
Contributor

@Bera0422 Bera0422 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Required changes are implemented

@hakanaktas0 hakanaktas0 merged commit 32257a6 into backend Dec 18, 2023
1 check passed
@hakanaktas0 hakanaktas0 mentioned this pull request Dec 19, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Bera0422 Bera0422 Bera0422 approved these changes

@Simurgan Simurgan Awaiting requested review from Simurgan

Assignees

@hakanaktas0 hakanaktas0

Labels
backend issues related to backend
Projects
None yet
Milestone
CMPE451 Final Milestone: Presentation...
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@hakanaktas0 @Bera0422