https://medium.com/@ericapisani/useful-github-search-capabilities-for-issues-and-pull-requests-3ec0a17299a1