Many *.patch/*.diff files in GIT