github push 失败

刚才写完代码提交到git的时候提示push failed empty reply from server,第一次遇到这种情况。
查了一下发现输入git fetch origin --prune这个之后在push就可以了。