【发布时间】:2019-01-06 07:07:45
【问题描述】:
我的同事向我也是成员的一个 repo 提出了 pull request。对于这个 PR,他必须做出改变。不幸的是,我的同事已经不在我的项目中了,现在我需要做更改并将更改提交到此 PR(由同事提出的 PR)。
我知道这可以通过拉他的分支并向他的分支提出 PR 来完成。但这不会起作用,因为他已经不在我的团队中了。
有什么方法可以实现吗??
提前谢谢..
【问题讨论】:
标签: git github git-push git-pull