Sorry I'm a bit late. I'm +1 to this change as well.
On 26/08/2014 16:24, Simon Steiner wrote:
Vote to move from Gump to Jenkins for Fop, XGC, Pdf-plugin. This
allows us to control version of checkstyle, also Jenkins is more
flexible, has plugins, we can trigger manually and make changes
without asking infra for help (if workspace is corrupted we can fix it
Votes to general@ only please, they won't count on fop-dev. The vote
will run for 7 days until 2 Sept.
Here's my +1