If you patch files from your git repo you can: -execute "git diff" to generate the diff between the current state of the repo and the last committed change -execute "git checkout -- ." to reset all your changes so there should be no reason not to patch the local copy of the git repo (except to publish build scripts for final releases).
I'll give that a try.
Darrell