Git exclude, a handy feature you might not know about