Skip to content

Conversation

@marinaej
Copy link
Contributor

@marinaej marinaej commented Jun 11, 2025

closes #6882

Copy link
Member

@tomasr8 tomasr8 left a comment

Choose a reason for hiding this comment

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

I'm gonna let @AjobK test this properly 😄

@marinaej marinaej force-pushed the #6882/log-merge branch 4 times, most recently from 608282e to cdc3501 Compare June 11, 2025 15:56
Copy link
Member

@AjobK AjobK left a comment

Choose a reason for hiding this comment

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

Small nitpick, but LGTM. Tested locally

@marinaej marinaej force-pushed the #6882/log-merge branch 2 times, most recently from 3f43ee9 to a4459ce Compare June 17, 2025 14:13
@marinaej marinaej closed this Jun 18, 2025
@marinaej marinaej deleted the #6882/log-merge branch June 18, 2025 12:47
@marinaej marinaej restored the #6882/log-merge branch June 18, 2025 12:49
@marinaej marinaej reopened this Jun 18, 2025
@marinaej marinaej force-pushed the #6882/log-merge branch 2 times, most recently from f69a6f6 to 5262ce5 Compare June 19, 2025 13:58
@ThiefMaster ThiefMaster changed the title add merge log into user log Log users merges to user log Jun 20, 2025
@ThiefMaster ThiefMaster added this to the v3.3 milestone Jun 20, 2025
@ThiefMaster ThiefMaster enabled auto-merge (squash) June 20, 2025 09:53
@ThiefMaster ThiefMaster merged commit d2a9386 into indico:master Jun 20, 2025
11 checks passed
@marinaej marinaej deleted the #6882/log-merge branch November 3, 2025 09:55
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.

Log user merges to user log

4 participants