Curious what the approach is for applying plugins on ci.hibernate.org. IIRC Sanne you were wanting to script creation of these servers. Did that include plugins as well?
I just installed the Gravatar plugin. Was thinking about applying some others, but then I remember (vaguely) about this scripting. Just wanted to make sure before I added more. _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
