Changes to prevent Kudu from building when the HEAD does not change with a
push

Fixes #685