@matt_strayer@github The GitHub Pull Request extension is doing the job for now. It still seems like a bug (when the files are filtered down to just 22). I understand the slowness when showing 2944 files (not that I feel it's completely unavoidable with the right trade offs)
