Wrong Pull Request URL is created when contributing on other repos

[vs4vijay]

When a PR is created by Workspace for a repository not owned by the user, a hyperlink appears in the top left corner as {username}/{repo_name. Clicking this link results in a 404 error. Ideally, the link should display as {other_repo_user}/{repo_name} instead.

[dsyme]

Thanks for reporting this!