Filter diff files as well as tree view#177

wboult wants to merge 1 commit intoberzniz:masterberzniz/github_pr_tree:masterfrom

wboult:filter-diffswboult/github_pr_tree:filter-diffsCopy head branch name to clipboard