update git_rev by shorter one