points
Your point is valid though. It would be much preferable to include build/ in your root .gitignore so that the directory is never tracked.