I'm wanting to update the plastic server from 9.0.16.4608 -> 9.0.16.5285 in order to fix the Slack plugin for the mergebot.
However I have a hard time figuring out if the instructions on https://www.plasticscm.com/plastic-for-linux will perform the update or reinstall.
Additionally, if the above instructions does indeed update the server, will it then keeps its settings and setup?