This would involve us continuing to add Change-Ids onto commits even on Gitlab? No no, we don't want to recommend that. They're ugly and pointless.

In T99268#7830522, @Krinkle wrote:

I noticed today that one of the first commits in the Maintenance system actually had a class-based registry, and while we lost that at some point, it connected the dots for me to something we still do today: The maintenance scripts are in the autoloader and each script has logic to avoid execution if loaded outside their own entry point. This was I believe designed to be run via a wrapper one day.

From the original commit:

$wgMaintenanceScripts = array();

Register their maintenance scripts [class name] with the system

$wgMaintenanceScripts for extensions to add their scripts to the default list.

public static function getMaintenanceScripts() {
      global $wgMaintenanceScripts;
      return $wgMaintenanceScripts + self::getCoreScripts();
  }

http://mediawiki.org/wiki/Special:Code/MediaWiki/54225
https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/a1c51e18af85a9ac464c5b555921e58ec422cd11%5E%21/

Weird! Thanks for spotting that.

I think this task can be resolved as we did figure out what the workflow itself will be -- we just need to create an account via a call to the API. For existing tools this will be done en masse, for new tools I'm guessing some work in tools/views/repo.py will need doing. I think that can be tracked easily enough in the parent task, T296893.

In T308061#8092652, @hashar wrote:

This way they can still be easily be browsed

I don't think we need the Subversion data itself -- definitely don't need to go through the hassle of porting it all over to Gitlab. I proposed we just tar+gzip the tree as it was on the final commit, find a decent-ish place to stash it for perpetuity, then call it a day. Then we can kill the SVN repos from Phab & then drop the subversion package from puppet.

In T258660#6328176, @Reedy wrote:

What it says on the tin. I added my Yubikey to my MediaWiki user and it says I logged in over 750 times already -- that's odd, as I just set it up for the first time ever.

Was it brand new, and you've never used it on another site/app/whatever else?

I'm increasingly convinced that avatars aren't worth the effort.