Github PR Filter

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