Git bash 询问我忘记的 SSH 密钥

【问题标题】：Git bash asks SSH key which I forgotGit bash 询问我忘记的 SSH 密钥
【发布时间】：2020-07-20 19:27:08
【问题描述】：

我尝试使用带有命令的 Git Bash 安装一些东西， leanproject get mathematics_in_lean 但我得到了提示 Please provide password for encrypted SSH private key: 然而，我不记得曾经为此制作过 SSH 密钥（尽管这并不意味着我从未做过），并且密码不是我的 GitHub 用户的密码。我已经在一个精益平台上了解过，他们告诉他们这更有可能是 Git 的事情而不是精益的事情。有没有人知道如何找回密码或类似的东西？

【问题讨论】：

标签： git-bash ssh-keys

【解决方案1】：

找回密码是不可能的，这就是（SSH-keys with a passphrase）的想法

但是因为你说你不记得做过那个；那么远程仓库可能被定义为git@github.com:username/reponame，所以它会尝试你拥有的可用SSH密钥。一种可能的解决方案是将其修改为 https

例如，对于这样的遥控器：

$ git remote -v
  origin git@github.com:username/reponame.git (fetch)
  origin git@github.com:username/reponame.git (push)

您可以执行以下操作将其转换为 https：

$ git remote set-url origin https://github.com/username/reponame.git

之后，任何获取、拉取或推送都不需要 SSH

或

您可以在 github https://github.com/settings/keys 中重置您的 SSH 密钥

【讨论】：