I would suggest creating an empty repo on github at https://github.com/don-vip/tools-spacemedia first. We have to do the same for gerrit replication

The docs don't exactly say that, but they kinda hint at it

Normally, you should only mirror to an empty repository.

While technically a "non existent" repo is technically empty, I wouldn't class it the same

@Reedy thank for the advice. I have pushed a commit to the GitHub repository so it now exists, but I still can't see anything happening there: https://github.com/don-vip/tool-spacemedia

Have you done any write/push actions to your diffusion repo?

We have not had good luck with ssh key based replication from Phabricator to GitHub in the past. I will setup the desired mirror and log what I did to do that here.

Thank you @bd808 ! :)

I updated the docs at https://wikitech.wikimedia.org/wiki/Toolsadmin.wikimedia.org/FAQ#Mirror_a_Diffusion_repo_to_GitHub with various small changes that have happened over time for this (mostly switching from ssh transport to https transport).

@bd808 I'm missing many rights on my repository:

In particular I cannot add any secrets. I want to define a new "SONAR_TOKEN" secret to use https://github.com/SonarSource/sonarcloud-github-action

In T251699#6121839, @Don-vip wrote:

In particular I cannot add any secrets. I want to define a new "SONAR_TOKEN" secret to use https://github.com/SonarSource/sonarcloud-github-action

I had you as a "maintainer" which does limit some rights. I just switched you to an "admin", which I think should let you do most things.

Thanks! I can setup secrets now :)