docs: public CompletableFuture<Revision> removeRepo(Author author, String projectName, String repoName) {
          requireNonNull(author, "author");
          requireNonNull(projectName, "projectName");
          requireNonNull(repoName, "repoName");
  
          final JsonPointer path = JsonPointer.compile("/repos" + encodeSegment(repoName) + "/removal");
          final Change<JsonNode> change =
                  Change.ofJsonPatch(METADATA_JSON,
                                     asJsonArray(new TestAbsenceOperation(path),
                                                 new AddOperation(path, Jackson.valueToTree(
                                                         UserAndTimestamp.of(author)))));
          final String commitSummary = "Remove the repo '" + repoName + "' from the project " + projectName;
          return metadataRepo.push(projectName, Project.REPO_DOGMA, author, commitSummary, change);
      }