Add tricks for the Pull Requests review? #325
Copy link
Copy link
Open
Labels
topic-pull requeststype-featureAdditions; New content or section neededAdditions; New content or section needed
Description
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?
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
topic-pull requeststype-featureAdditions; New content or section neededAdditions; New content or section needed
Activity
erlend-aasland commentedon Aug 8, 2022
SGTM! Promoting creative use of GitHub filtering is nice; I was unaware of the
base:keyword until now :) #TIL