Skip to content

Include Repo Search pages in isRepo; add hasRepoHeader - #131

Merged
fregante merged 3 commits into
mainfrom
isRepoSearch
Jul 28, 2022
Merged

Include Repo Search pages in isRepo; add hasRepoHeader#131
fregante merged 3 commits into
mainfrom
isRepoSearch

Unrelated: move some comments to JSDoct

28c6d6c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs