The Wayback Machine - https://web.archive.org/web/20221219150935/https://github.com/python/devguide/issues/860
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
ezio-melotti commentedMay 8, 2022
I spent some time figuring out some useful search queries for Gmail that can also be used as filters (e.g. to assign label):
subject:(Issue -PR)subject:(PR)subject:(PR -Issue)could be used insteadsubject:PR ((Merged AROUND 1 "into main") OR (Merged AROUND 1 "into master"))(Merged AROUND 1 "into 3.10"))subject:Issue "closed"subject:Issue "closed AROUND 1 via"Note:
from:(notifications@github.com)subject:Issueandsubject:PRdon't work for old Issues/PRsThis should be documented somewhere in the devguide, so that other people could easily copy them to set up filters.
The text was updated successfully, but these errors were encountered: