Github PR Filter

any you're interested files pull files github review additional an be to or can you widget for also regex. will existing collapsed. that allows to the unmatched you and toolbar glob delete to that request via apply, save, provides filter filters.