我需要丢弃上次提交的一个文件，所以我软重置了它，现在我可以再次提交，但GitHub Desktop给了我Pull origin选项，我想知道该怎么办：
- 提交然后推送，反之亦然
- 或者拉力什么的
我对上一次提交进行了软重置并丢弃了一个文件，所以现在我在GitHub桌面上有了一个pull-origin选项。
什么是软重置
软重置会撤消最近的提交，但会使工作树和索引处于仍然反映该撤消提交的状态。因此：
-
如果您在软重置之后立即提交而不更改任何其他内容，您将得到一个看起来与您刚刚取消的提交完全相同的提交(除了消息，当然还有时间(。
-
另一方面，如果您在工作树中进行更改，并将该更改添加到索引和，然后提交，则您已将撤消的提交替换为新的不同提交。
(注意，使用commit --amend可以完成完全相同的事情。(
之后
那又怎样？
-
如果您已经按下"；最后提交"；在重置并进行新的提交之前，您现在已经更改了历史。因此，如果目的是(比如(确保这个新的提交缺少"；顽皮的"；文件，您必须强制推送才能将新的提交上传到远程。
-
另一方面，如果你有而不是；最后提交"；在重置之前，没有什么特别的事情要做；在完成新的添加和提交后，如果这是你的目标，你可以直接推送到远程，或者你可以继续工作(编辑添加-提交(。