I am unable to fetch from gerrit-replica nor replicate to gerrit2001:
$ ssh -p 29418 gerrit.wikimedia.org replication start mediawiki/extensions/DiscussionTools --wait Replicate mediawiki/extensions/DiscussionTools ref ..all.. to github.com, Succeeded! (OK) # (no further success or failure messages after ~20 minutes)
On https://phabricator.wikimedia.org/diffusion/EDTO/manage/:
Pull of 'rEDTO' failed: Command failed with error #128! COMMAND git ls-remote '********' 'refs/*' STDOUT (empty) STDERR fatal: remote error: mediawiki/extensions/DiscussionTools unavailable
Error updating working copy: Command failed with error #128! COMMAND git ls-remote '********' 'refs/*' STDOUT (empty) STDERR fatal: remote error: mediawiki/extensions/DiscussionTools unavailable
This didn't happened when I used https://gerrit.wikimedia.org/... instead of https://gerrit-replica.wikimedia.org/.... See https://phabricator.wikimedia.org/diffusion/EDTO/uri/view/23061/.