If I use scap sync-file to deploy a file, it's not updated in /srv/mediawki on tin...
> reedy@tin:/srv/mediawiki$ diff /srv/mediawiki-staging/php-1.29.0-wmf.3/extensions/CentralAuth/maintenance/populateLocalAndGlobalIds.php /srv/mediawiki/php-1.29.0-wmf.3/extensions/ntralAuth/maintenance/populateLocalAndGlobalIds.php
21,23c21,22
< // Temporarily skipping large wikis, 5 mil seems like a safe number (skips en, meta, mediawiki & login wikis)
< $size = $dbr->estimateRowCount( 'localuser', '*', [ 'lu_wiki' => $wiki ] );
< if ( $size > 5000000 ) {
---
> // Temporarily skipping English Wikipedia
> if ( $wiki == 'enwiki' ) {[13:09:39] <logmsgbot> !log reedy@tin Synchronized php-1.29.0-wmf.3/extensions/CentralAuth/maintenance/populateLocalAndGlobalIds.php: More skipping (duration: 01m 34s)