List of steps to reproduce (step by step, including full links if applicable):
- For a random tool, create a diffusion repository via https://toolsadmin.wikimedia.org/tools
- Jump to Phabricator, rename it via "Action" > "Manage Repository"
What happens?:
Diffusion repository link on toolsadmin.wikimedia.org stays unchanged, and the status is shown as "Unknown". For me, I create a repo for my tool satori, then rename the repo on Phabricator to crystal.
What should have happened instead?:
It should be updated.
Software version (if not a Wikimedia wiki), browser information, screenshots, other information, etc.:
I made some special configuration for this repo - to make it just a mirror (observer) of a GitHub repository. Don't know if this is relevant.