Allow `github:ORG//` repos to redirect to other repos in the same org#4159

AkihiroSuda merged 1 commit intolima-vm:masterlima-vm/lima:masterfrom

jandubois:github-redirectjandubois/lima:github-redirectCopy head branch name to clipboard