Search whole site: site:repo.or.cz
Search title: Public Git Hosting - git-dm.git/summary
See how to search.