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.
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.