Skip to content

Conversation

@micsucmed
Copy link
Contributor

Closes #7133

@micsucmed micsucmed changed the title Allow review tag editing - front-end Allow review tag editing Oct 22, 2025
@micsucmed micsucmed force-pushed the edit-tags-on-revision branch 2 times, most recently from 6443f9c to 075ea3b Compare October 24, 2025 10:12
@micsucmed micsucmed marked this pull request as ready for review October 24, 2025 10:19
@micsucmed micsucmed force-pushed the edit-tags-on-revision branch 2 times, most recently from c9670e0 to dd31e8a Compare October 30, 2025 15:05
@micsucmed micsucmed requested a review from ThiefMaster October 30, 2025 15:07
@ThiefMaster ThiefMaster force-pushed the edit-tags-on-revision branch from dd31e8a to 58afae8 Compare October 31, 2025 11:36
I initially did not like it, but the comment edit box does the same so
for the sake of consistency it's actually better to keep it there as
well even though the alignment looks a bit weird...
@ThiefMaster ThiefMaster enabled auto-merge (squash) October 31, 2025 11:59
@ThiefMaster ThiefMaster added this to the v3.3 milestone Oct 31, 2025
@ThiefMaster ThiefMaster merged commit aa63c9b into indico:master Oct 31, 2025
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Edit tags on revisions

2 participants