Re: #6143: speed up indexing of new fedorapeople.org public_git repositories