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

Fixes #685