Include Repo Search pages in isRepo; add hasRepoHeader#131

fregante merged 3 commits intomainrefined-github/github-url-detection:mainfrom

isRepoSearchrefined-github/github-url-detection:isRepoSearchCopy head branch name to clipboard