Split pull request search from issue; extend with filters#1693
Split pull request search from issue; extend with filters#1693bitwiseman merged 23 commits intohub4j:mainfrom
Conversation
|
Did you commit and push any updates? I just did so. |
src/main/java/org/kohsuke/github/GHPullRequestSearchBuilder.java
Outdated
Show resolved
Hide resolved
Sorry my bad - didn't notice those changes in javadoc |
src/main/java/org/kohsuke/github/GHPullRequestSearchBuilder.java
Outdated
Show resolved
Hide resolved
|
@kgromov |
I'll take a look. |
|
Snapshots can be taken from anywhere, but we prefer the test org for later rerecording if needed. It shouldn't cause failures though. |
|
Again, you need to check in files created during |
…estPullRequestsSearch
@bitwiseman can you please trigger build - I've updated snapshots few days ago |
And again please (hopefully last time) - I missed one obvious part that wasn't specified in the CONTRIBUTING.md 😊 |
|
Please update the contributing doc with the instructions that were missing. Thanks! |
Done (with test data fix) |
|
Hi, @bitwiseman. Is it fine or should I cover all methods for new class? |
|
I'll take a look shortly. |
Codecov ReportAttention:
... and 1 file with indirect coverage changes 📢 Thoughts on this report? Let us know! |
|
@bitwiseman, can you trigger builds? I guess last commit was fine (I extended code coverage to 91%) - I just forgot, that java.version is 8 |
|
Hi, @bitwiseman. Any news when PR can be merged, thanks? |
src/main/java/org/kohsuke/github/GHPullRequestSearchBuilder.java
Outdated
Show resolved
Hide resolved
bitwiseman
left a comment
There was a problem hiding this comment.
Great job on the test coverage!
This is very close. Last couple questions.
Updated - please take a look last commit |
UPD: rolled back changed type for terms. I would personally make it LinkedHashSe to guarantee terms uniqueness (hopefully it's not affected github API but can add some ambiguity for wirewock mappings): |
That seems like a reasonable change, but maybe make that in a separate PR after we land this one? |
src/main/java/org/kohsuke/github/GHPullRequestSearchBuilder.java
Outdated
Show resolved
Hide resolved
yes, since it's related to all search builders |

Enhancement
GHPullRequestSearchBuilderGHRepository#searchPullRequests(GHPullRequestSearchBuilder search)andGitHub#searchPullRequestsaccordingly.Inspiration for this extension was own project with custom filters grouped differently to what github UI prvides (and a bit more user intuitive). And as it turned out library did not have a lot of search parameters in order to shorten search and response time (like created/merged dates and ranges, labels etc).