Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

`git-checkout-pr`: removed fork results in `git remote add This repository has been deleted`

See original GitHub issue

Please ensure:

The bug is caused by Refined GitHub. It doesn’t happen if I disable the extension.
The bug happens after clearing extension cache. The “Clear cache” button can be found at the bottom of the options page.

Example URLs

https://github.com/void-linux/void-packages/pull/35150

Extension version

22.1.18

Browser(s) used

Firefox

Description

GitHub doesn’t close a PR when the fork was removed, then it’s not possible to checkout the PR with git, but Checkout with git Code -> Checkout with Git shows:

Run in your project repository, pick either one

HTTPS

git remote add This repository has been deleted https://github.com/This repository has been deleted.git
git fetch This repository has been deleted 
git switch --track This repository has been deleted/

SSH

git remote add This repository has been deleted git@github.com:This repository has been deleted.git
git fetch This repository has been deleted 
git switch --track This repository has been deleted/

Include in this issue:

Screenshots/video/gif demonstrating the bug, if it’s visual
Console errors, if any

Issue Analytics

State:
Created 2 years ago
Reactions:2
Comments:5 (5 by maintainers)

Top GitHub Comments

1reaction

yakov116commented, Jan 27, 2022

Because the PR was closed. He made the issue before he closed it.

0reactions

fregantecommented, Mar 31, 2022

Closing in favor of #4701.

Top Results From Across the Web

What happens to forks when a repository is deleted or ...

When you delete a public repository, one of the existing public forks is chosen to be the new upstream repository. All other repositories...

how to recover from a Git remote repository deleted

Create an empty repo in GitLab/BitBucket/GitHub. Add a new remote (say, another ) in your current repo with the URL of the new...

2.5 Git Basics - Working with Remotes

Managing remote repositories includes knowing how to add remote repositories, remove remotes that are no longer valid, manage various remote branches and ...

How to Get Started with GIT and work with GIT Remote Repo

You need to setup Git on your local machine, as follows: ... .o , .exe which could be reproduced from source) from being...

Sync with a remote Git repository (fetch, pull, update) - JetBrains

Before you can share the results of your work by pushing your changes to the upstream, you need to synchronize with the remote...