E.g. if you contribute to `user/some-repo#12` and they rename `some-repo` to `another-repo`, the tracking needs to update. Not obvious how this can be done. Seems low priority though, so just leaving this issue here as a note / to test demand.
E.g. if you contribute to
user/some-repo#12and they renamesome-repotoanother-repo, the tracking needs to update.Not obvious how this can be done.
Seems low priority though, so just leaving this issue here as a note / to test demand.