[11:57:20] <Amir1>	 I don't know where to ask the question but what's the plan for shellbox? Is there a way to add new things?
[12:41:54] <Reedy>	 Amir1: Patches welcome
[12:42:08] <Amir1>	 Is there a doc? :D
[12:42:30] <Reedy>	 https://www.mediawiki.org/wiki/Gerrit/Tutorial
[12:43:39] <Amir1>	 🤨
[12:49:33] <Amir1>	 Reedy: thank you for the link. I made a patch! Does this look correct to you? https://gerrit.wikimedia.org/r/c/mediawiki/core/+/681351
[12:50:18] <Amir1>	 What is jenkins?
[13:02:31] <Majavah>	 something that makes core backports very annoying
[16:45:11] <AaronSchulz>	 TimStarling: have you had a chance to look at https://gerrit.wikimedia.org/r/c/mediawiki/core/+/574101 ?
[19:57:57] <TimStarling>	 not yet, I'll star it