[OS-BUILD PATCH] .gitignore: fix previous mismerge with "HEAD line"