Add tricks for the Pull Requests review?

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?

Comienza localizando la documentación sobre contribuciones o revisión de Pull Requests en el devguide y revisa cómo está organizada actualmente la guía de búsqueda de GitHub. La tarea estará terminada cuando se añada una explicación concisa sobre el uso de is:pr is:open base:3.7 u otro nombre de rama para encontrar Pull Requests abiertos dirigidos a una rama de lanzamiento.