I host the source code for a Tool labs tool at https://git.legoktm.com/legoktm/contentcontributor. I wish to mirror it into diffusion at https://phabricator.wikimedia.org/diffusion/1946/.
I configured the proper URI, however it fails with a timeout error.
[http "https://github.com"] proxy = <%= @proxy %> [http "https://gerrit.wikimedia.org"] proxy =
I think that's why. What's the process for adding other git hosts for mirroring? What other options can we try?