My app has already been available on F-Droid for some time. I plan to change its GitHub repository name from
Since all app links on F-Droid (issue tracker, source code, changelog) currently point to the current repository name, I wonder how this is handled on F-Droid’s side. What else do I need to do besides renaming the repository?
Thanks in advance!