Drop repository management
https://redmine.teklia.com/issues/5720
To begin removing repositories and revisions from Arkindex, we will remove the frontend views and related APIs. The following should thus be liquidated:
- The
reposPinia store (gone too soon F) - The API helpers in
src/api/repository.ts - All of
src/views/Repos/ - All of
src/components/Repos/ - The Repositories button in the navbar, under the user dropdown
- All references to the
repos-listorrepo-rightsroutes