tree ab5eedb6449deb348a83bd61fa9f115dee232fcd
parent 721bc4c06d7f080669017f92ba516ce5f67ed705
author Christian W. Damus <give.a.damus@gmail.com> 1383148510 -0400
committer Christian W. Damus <give.a.damus@gmail.com> 1383340291 -0400

[418454] [Admin] Client API and UI for managing repositories in a server
https://bugs.eclipse.org/bugs/show_bug.cgi?id=418454

UI for deletion of a repository, including confirmation dialog and error handling.
UI for creation of a repository.
Both actions require authorization by providing the credentials of the admin repository's administrator user.