Github PR Filter

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