GIT does not pull correct files

Sometimes when pulling latest DEV, the pull tries to merge.

It would be nice if it did a reset of the branch to the current head:

git reset --hard HEAD