Hey Julius, not a problem to bring it up. I'm sure that others were noticing it as well and just not saying anything.
I just added notices to topics in irc, slack, and discord.
I'll see what options we have for putting the GitHub browse link into Gerrit.
Martin
Mar 19, 2024 at 17:46 by jwerner@google.com:
Whoops, sorry for the noise then. I felt like I vaguely remembered hearing something about it but then I guess I didn't search far enough back in trying to find it in the mailing list and meeting notes.
I don't suppose there's any (easy) way to get links to GitHub into Gerrit in the repository list? I don't really care about which backend we use, but I usually start searching on Gerrit when I'm trying to remember how to browse the code online.