Recover a commit sent as a pull-request from a deleted fork on GitHub

by

It is possible to fetch pull requests to your local machine.

Without having a link to the pull request in question it’s hard to test whether this will work, but you can try to

  1. create a new fork of the repository,
  2. clone your new fork,

  3. fetch your pull request from the upstream repository,

    git remote add upstream https://github.com/User/repository.git

$EDITOR .git/config
# Add `fetch = +refs/pull/*/head:refs/remotes/upstream/pr/*` to
# the relevant section, as outlined in the linked page. Note that
# we use `upstream` instead of `origin` as the target.

git fetch upstream

  4. merge the pull request into your local repository, e.g.

    git checkout master
git merge --ff-only upstream/pr/1

  5. and then push it back to your new fork.

If that fails, you can submit a support request to GitHub asking them to restore your repository. From an FAQ about security:

We do not retroactively remove repositories from backups when deleted by the user, as we may need to restore the repository for the user if it was removed accidentally.

To initiate this process, contact their support team as soon as possible.

More Related Contents:

  1. Error when pushing amended commit to remote [duplicate]
  2. Is there a way to cache https credentials for pushing commits?
  3. How to do a GitHub pull request
  4. Git, fatal: The remote end hung up unexpectedly
  5. Download a single folder or directory from a GitHub repo
  6. Git keeps prompting me for a password
  7. Git SSH error: “Connect to host: Bad file number”
  8. Git push results in “Authentication Failed”
  9. How to recover from a git push -force?
  10. Unable to change Git account
  11. ‘git diff’ doesn’t show enough
  12. GitHub: How to make a fork of public repository private?
  13. ! [rejected] master -> master (fetch first)
  14. Trying To Understand/Determine A Basic Git Workflow
  15. How to merge remote changes at GitHub?
  16. Push to origin from GitHub action
  17. Heroku: How to push different local Git branches to Heroku/master
  18. How do I rename a repository on GitHub?
  19. Send a pull request on GitHub for only latest commit
  20. How do you fork your own repository on GitHub?
  21. How to clone all repos at once from GitHub?
  22. Unable to Connect to GitHub.com For Cloning
  23. Error when push commits with Github: fatal: could not read Username
  24. Deleting remote master branch, refused due to being the current branch
  25. Remove commit for good
  26. Pushing to github after a shallow clone
  27. How to merge the remote branch and ignore the config setting?
  28. git export from github remote repository
  29. Do GitHub and GitLab support git clone’s –filter parameter?
  30. Why does ‘git commit’ not save my changes?

Leave a Comment