Hi everybody,
the mirror between Github's wikimedia/ores not mirroring to Gerrit's scoring /ores/ores seems not working anymore: on the Gerrit side I don't see commits merged in the Github one.
https://github.com/wikimedia/ores/commits/master
https://gerrit.wikimedia.org/g/scoring/ores/ores/+/refs/heads/master
A similar thing happened in the past: T224996#7088785
I can see from phab1001's log the following:
[27-Jun-2022 09:05:25 UTC] [2022-06-27 09:05:25] PHLOG: 'Unexpected output while updating repository "ores": [2022-06-27 09:05:25] EXCEPTION: (PhutilProxyException) Error while pushing "rORES" repository to mirrors. {>} (PhutilAggregateEx ception) Exceptions occurred while mirroring the "ores" repository. - CommandException: Command failed with error #128! COMMAND git push --verbose --mirror -- '********' STDOUT (empty) STDERR Pushing to ssh://********@gerrit.wikimedia.org:29418/scoring/ores/ores Warning: Permanently added '[gerrit.wikimedia.org]:29418,[2620:0:861:2:208:80:154:137]:29418' (RSA) to the list of known hosts. phabricator@gerrit.wikimedia.org: Permission denied (publickey). fatal: Could not read from remote repository.