The good thing is that this is open-source Apache-licensed code. Easy enough to fork it if necessary, even if just temporarily while we wait for another project to mature and replace it.
Hudson -> Jenkins
Mysql -> MariaDB
Docker -> ???No comments yet.