I did not know that git had a grep command -- super handy.