ignore jetty in git