Skip to content

Conversation

@duartegalvao
Copy link
Member

@duartegalvao duartegalvao commented Oct 27, 2023

This PR adds the ability for editors to edit their last judgement's revision comment:
image
image
image

@duartegalvao duartegalvao force-pushed the edit-review-comments branch 2 times, most recently from 8ab2220 to 7cb8377 Compare October 30, 2023 14:48
@duartegalvao duartegalvao marked this pull request as ready for review October 30, 2023 14:48
@duartegalvao duartegalvao force-pushed the edit-review-comments branch 2 times, most recently from 02b0211 to 66e826f Compare October 30, 2023 15:12
@ThiefMaster ThiefMaster added this to the v3.3 milestone Oct 30, 2023
Also includes some optimizations made possible by the timeline refactoring.
@ThiefMaster ThiefMaster merged commit 8d6cb25 into indico:master Oct 30, 2023
@ThiefMaster ThiefMaster deleted the edit-review-comments branch October 30, 2023 17:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done 🚀

Development

Successfully merging this pull request may close these issues.

2 participants