[pinpoint] Add a mapping from repository URLs to repository names.

dashboard/dashboard/templates/edit_site_config.html

Index: dashboard/dashboard/templates/edit_site_config.html
diff --git a/dashboard/dashboard/templates/edit_site_config.html b/dashboard/dashboard/templates/edit_site_config.html
index cb247c5fcb26d5739729ffdd55028396cfedcf7a..b9db29b12649422136caaa2c2426e75d09bebfb8 100644
--- a/dashboard/dashboard/templates/edit_site_config.html
+++ b/dashboard/dashboard/templates/edit_site_config.html
@@ -70,9 +70,11 @@ found in the LICENSE file.
       <li><a href="?key=revision_info">revision_info</a>:
         Repository names and change log viewers.</li>
       <li><a href="?key=repositories">repositories</a>:
-        Paths to known repositories for Pinpoint.</li>
+        Pinpoint: Details about known repositories.</li>
+      <li><a href="?key=repository_urls_to_names">repository_urls_to_names</a>:
+        Pinpoint: Map of repository URLs to their short names. If a repository has moved locations, both the old and new URLs should map to the same name.</li>
       <li><a href="?key=bot_dimensions_map">bot_dimensions_map</a>:
-        Map of bot names to dimensions for Pinpoint.</li>
+        Pinpoint: Map of bot names to dimensions.</li>
     </ul>
   {% endif %}
 </body>