Stash Find Repo Name from Repo ID

Admins need some way to find a repository name from a repository ID number. Either have this functionality built in to the repository search bar or have some sort of REST API that does this job. In addition, it would be useful to have a line in the description file of each repository stating the name of the repository. Right now it seems the easiest way to find the repository name from an ID is to query the database with something like this:

SELECT <DB_NAME>.repository.name FROM <DB_NAME>.repository WHERE <DB_NAME>.repository.id = "<REPO_ID>";

The only other way is to search the application.xml file or each individual repository's settings page for it's location.