This changes `export.sh` to export diffs instead of patches.
`export.sh` now does not touch working directory, thus not
triggering clean builds and not intefering with an on-going
build.
Turns out `git rmeote get-url` resolves the `insteadOf` substitutions
and ends up with a different URL.
This patch bypasses these substitutions to properly validate
remote url.