GitHub PR Custom Filter

you service. or user filters github. is usage. to extension (pr) by this endorsed is for it allows enhance not github's terms requests save pull the page the extension adhering easy to affiliated while to designed custom with of experience this to