Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

How to filter GitHub PRs with specific merge date?

Tags:

github

I use the below filter to get PRs closed above 2017-03-19; but, is there a way to filter with a specific date.

is:pr is:closed merged:>=2017-03-19 base:master sort:updated-desc

enter image description here

The below fails:

is:pr is:closed merged:=2017-03-19 base:master sort:updated-desc
like image 351
Prashanth Sams Avatar asked Mar 21 '17 08:03

Prashanth Sams


1 Answers

Yes, you can do so by filtering as follows:

is:pr is:closed merged:2017-03-19..2017-03-19 base:master sort:updated-desc  

For more information concerning searching issues and pull requests in GitHub see Searching issues documentation.

like image 200
rufer7 Avatar answered Sep 21 '22 14:09

rufer7