【发布时间】:2012-10-07 12:05:34
【问题描述】:
昨天有个实习生强推了master。在我们完成责骂之后,;) 我们查看了结果。幸运的是,我们在一台机器上拥有几乎最新版本的 master,只有一些 pull request 需要再次合并。
但是有一件事困扰着我:我们在最后一个合并的拉取请求中找到了旧的 HEAD 提交(在 github 上),但是由于没有分支或标签再指向它,我们找不到任何方法来拉取该提交(git pull origin <SHA1> 无效)或为该提交设置远程分支。你觉得有什么办法吗?
【问题讨论】:
-
访问服务器并就地执行 git reset 怎么样?
标签: git github branch git-branch remote-branch