Handle repo-name changes #2
Description
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.