Frontend to git-grep REST API, allows to grep through multiple bare repositories - View it on GitHub