code: @RequirePOST
      @ValidateRepoName
      @RequireAdminRights
      @RespondWithRedirect
      public void doIgnore(@Nonnull @GHRepoName GitHubRepositoryName repo) {
          if (!ignored.contains(repo)) {
              ignored.add(repo);
          }
          resolveProblem(repo);
      }
docs: This web method requires POST, admin rights and nonnull repo.
  Responds with redirect to monitor page
  
  @param repo to be ignored. Never null