Hello, I have a question about renaming GitHub repos. Aliases work well for

Repository

resource but how to deal with the other resources which reference repo by name:

BranchDefault

,

TeamRepository

,

ActionSecret

?