Add tricks for the Pull Requests review?

[matrixise]

Hi all,

I would like to add a small section or a paragraph about the review of the Pull Requests. For example, for us, the contributors and core-dev of Python we are looking for the issues of 3.7 and 3.8 (because we have to fix them for these releases ;-))

How can we do that with the interface of Github ? because there is no labels '3.8' or '3.7' on the PRs, but in fact, we can use the advanced search of Github, and add base:3.7 in the search box.

By default, we have is:pr is:open, these criteria will search the Open PRs for the current project, but with is:pr is:open base:3.7, it will search for the Open PRs for the branch 3.7.

So, where could we add this trick about Github? any idea?

[erlend-aasland]

SGTM! Promoting creative use of GitHub filtering is nice; I was unaware of the base: keyword until now :) #TIL