Hi,
I have a new extension, Page Exchange, and I created a patch to populate it with code:
https://gerrit.wikimedia.org/r/#/c/mediawiki/extensions/PageExchange/+/595549/
Unfortunately, it looks like Jenkins still is not activated for this extension. Can someone please activate it?