Record git commit id in VERSION for non-releases.