updaexercise info about git push and CI test

guide/source/chapter4/7exercise.rst

@@ -66,6 +66,10 @@ tips:
 
 TIPS：注意 port 参数的语义，它与内核定义的 MapPermission 有明显不同！
 
+- 提交你的修改
+
+   - 如果是基于GitHub Classroom 开发, 在本地环境或在线codespaces环境下，执行 ``git push`` 命令，提交修改的代码到gitub进行CI自动评测。如果评测结果是 红色小叉 （位于repo的中上位置），可进一步点击红色小叉查找具体出错时的CI执行情况。 
+  
 问答作业
 -------------------------------------------------