git push某一次的commit记录
背景：我们会遇到这样的情况，在develop分支上，第一天修改的文件，已经执行了git commit 添加了提交记录信息commit1，忘记push了，然后第二天，执行了git pull,拉取了服务器的一大堆提交下来，比如有commit2，commit3,commit4之类的，第一天的提交commit1已经被冲到前面去了，但是现在我本地也有一些其他改动，我又想提交之前的commit1，只提交这...
