doc remove restart tomcat after git push, it's already done