it is just here to mark the end of git grep output.

If you're not comfortable with it, it can be removed.