Frontend to git-grep REST API, allows to grep through multiple bare repositories
Primary LanguageTypeScript