Deleted repository names are reserved indefinitely?

pat-s · June 2, 2025, 9:06am

I’ve created a repository and deleted it again.
It is now listed as “deleted” but still recorded.

When attempting to create a new repo with the same name, I get an error. Using a different name succeeds.
Is this intended?

It would be great if one could either fully delete a repo (instead of “soft delete”) or just re-use an existing name.

dseynaeve · June 2, 2025, 1:59pm

Hi @pat-s,

Hard-delete is supported by the API: DELETE /api/v2/manager/r/repositories/{id} but not by the front-end.

I brought it up to the team and we are looking into a safe way to allow names to be re-used.

github.com/openanalytics/RDepot

rdepot-r-module/src/main/java/eu/openanalytics/rdepot/r/api/v2/controllers/RRepositoryController.java

master


      
          }
          
          /**
           * Erases repository from database and file system.
           * Requires admin privileges and the repository to be previously set "deleted".
           */
          @PreAuthorize("hasAuthority('admin')")
          @DeleteMapping(path = "/{id}")
          @ResponseStatus(HttpStatus.NO_CONTENT)
          @Operation(operationId = "deleteRRepository")
          public void deleteRepository(Principal principal, @PathVariable("id") Integer id) throws ApiException {
              Optional<User> requester = userService.findActiveByLogin(principal.getName());
          
              if (requester.isEmpty() || requester.get().getRole().getValue() != Role.VALUE.ADMIN)
                  throw new UserNotAuthorized(messageSource, locale);
          
              RRepository repository =
                      rRepositoryService.findById(id).orElseThrow(() -> new RepositoryNotFound(messageSource, locale));
          
              if (Boolean.parseBoolean(declarative)) throw new NotAllowedInDeclarativeMode(messageSource, locale);