Recording the Git hash at build time
