Thread:User talk:^demon/Something is missing or I'm missing something in a last migrated extension/reply

You need to push to the SSH URL

ssh://@gerrit.wikimedia.org:29418/mediawiki/core.git