Checking the repository version information
The version information is part of the edu-sharing Admin-Tools. These tools may only be used by the system administrator.
Open the Admin-Tools. The tab "INFO" contains all information about the repository such as:
build.numbe
build.date
version.main
version.extension:
git.commit
git.extension.commit