push: fix local refs update if already up-to-date

[git.git] / .gitattributes

* whitespace=!indent,trail,space
*.[ch] whitespace