[10:01:42] I've noticed that Gerrit is miscounting PS numbers since after the cleanup [10:01:50] So it moves from PS1 for example to PS3 [10:02:23] It skips PS2 for example, I was trying to fix this patch: https://gerrit.wikimedia.org/r/c/mediawiki/extensions/FormWizard/+/497295 and made a revision which is PS 2 and tried telling the author in a comment [10:02:33] Then instead it's PS3 that was the next revision [10:02:55] poking paladox ^^ [10:31:28] Would you be able to tell ops please? :) [13:02:26] Did Gerrit change to display tabs as 8 columns rather than 4? Or am I just misremembering? [13:03:07] Or maybe it was just because I was logged out. [14:15:48] xSavitar: That's expected [14:15:51] Don't worry about it [14:15:56] Don't poke ops, they are aware [14:16:19] And they're probably not going to do anything to "fix it" [14:16:21] Not worth anyones time [17:02:08] <_joe_> it might actually be harmful to "fix" that [17:02:21] <_joe_> so yeah, we won't do it right now [17:05:46] i agree to ^^ best that it's left alone as NoteDB can be broken :( [18:03:33] Reedy, _joe_, paladox, okay, thanks! I understand!