The Gitlab repo for MediaWiki needs to be split, between our files (such as LocalSettings.php, etc) and the base MediaWiki files.

They then need to be pulled together, with Puppet, onto the server. This is a subtask of the 1.40 update, and will be completed after the update.