tree b00f605f8e1924c3e2677d6f9ab704eb9b007fc8
parent e1cf4649c8602e37adfe572f106beb726e89ae6d
author Tom <tw201207@gmail.com> 1413870172 +0200
committer Luca Milanesio <luca.milanesio@gmail.com> 1430928359 +0000

Force ticket service off

We do not use the GitBlit ticket review system which would need the
git servlet anyway, which is already off

Change-Id: I55bb268220c5b4d647985f10911a18781f2edd72