Add the possibility to edit git server information

Also uses jgit 3.6