git 推送之前，一定要编译一下源代码，

git 推送之前，一定要编译一下源代码，尤其是解决冲突后的版本。

别管多着急的代码，都必须在push之前，先本地编译一遍代码。

因为，远端代码的回滚，很麻烦。