The simplest way of updating the Maven repository is to create a local Maven repository, upload this as a zip file and then unzip it in the mvn directory above. Since mistakes can happen, the '''mvn directory is a git repository'''. Committers should therefore add and commit their changes as usual in git. This way, git can be used to back out a disastrous unzip attempt.

+

The simplest way of updating the Maven repository is to create a local Maven repository, upload this as a zip file and then unzip it in the mvn directory above.