git grep hack

git grep hack

#292021

@papaloizouc

pythongithub.com/papaloizouc