This PR decreases the run time of looking up stabilization PRs by:
1) Not unnecessarily searching for terms with different capitalization, when GitHub's search is already case-insensitive by default
2) Limiting search to titles, so we don't have as many pages to search
This decreases the total run time from about ~10 minutes to under 10 seconds on my machine (YMMV)
I did check the output and it looks the same as the current state of releases.rs
This PR decreases the run time of looking up stabilization PRs by: 1) Not unnecessarily searching for terms with different capitalization, when GitHub's search is already case-insensitive by default 2) Limiting search to titles, so we don't have as many pages to search
This decreases the total run time from about ~10 minutes to under 10 seconds on my machine (YMMV)
I did check the output and it looks the same as the current state of releases.rs