I've been using Minas for almost 2 years now, so far it's great! It has helped me to automate my deployments of different Java applications (including Tomcat). The configuration options are really flexible, you can even create your own scripts or use external tools with them if necessary; also there're several plugins that add more functionalities like Git integration etc... nothing bad yet!! For example we had some issues while trying to run our JUnit tests in Jenkins - but this was solved quickly when an expert from mina took care about these matters. Automating builds/deployments process within TeamCity /Jenkins pipelines could be done easier without having all those problems described above. Also being able to easily configure CI jobs including Github checkouts would have made everything super-easy as well. But overall they were not too much trouble at least compared what benefits gained through such kind of solution :).