https://bugzilla.wikimedia.org/show_bug.cgi?id=46452
--- Comment #9 from Krinkle <[email protected]> --- Since the merge is asynchronous and potentially delayed, I personally find more value in knowing when it is merged than knowing when the CR+2 was given. Also, some repositories don't have automated merge yet. So hiding the MERGED for non-jenkins is bad I think. If anything, I especially want to know when someone manually merged something by passing jenkins. Or, if it is a repo without an automated gate-and-submit, those will be the only MERGED messages there are (e.g. various ops repos and non-wmf-deployed mw extension repos). For consistency I'd show both jenkins and non-jenkins merges. For the long term we should see if we can make Zuul use suexec and/or faux the log message in gerrit-wm to show the username of the person who last CR+2'ed (defaulting to the real merger, jenkins-bot, if there was none of whatever reason). -- You are receiving this mail because: You are on the CC list for the bug. You are the assignee for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
