org.kohsuke: github-api: Как добавить фильтры даты при поиске запросов на извлечение - PullRequest
Новая
       1

org.kohsuke: github-api: Как добавить фильтры даты при поиске запросов на извлечение

0 голосов
/ 29 января 2020

I wi sh для фильтрации проблем с "поскольку"

Ref: https://developer.github.com/v3/issues/#list -issues

Вот мой код: 

GHRepository repo = null;
    try {
        repo = github.getRepository(repoName);
    } catch (FileNotFoundException e) {
        exe.printMessageAndExitFail("Repository not found");
    }
    List<GHPullRequest> pullRequests = repo
            .getPullRequests(GHIssueState.ALL);

    int max = pullRequests.stream().mapToInt(GHPullRequest::getNumber).max()
            .orElse(1);
    int digits = Integer.toString(max).length();

    for (GHPullRequest pullRequest : pullRequests) {
        System.out.println(String.format("%s (%s, %s): %s",
                Util.padFront(pullRequest.getNumber(), digits),
                pullRequest.getNumber(),
                Util.format(pullRequest.getCreatedAt()),
                Util.padTail(pullRequest.getState(), 6),
                pullRequest.getTitle()));
    }

Цените любые указатели

...