Change git branch command line like CPython

ChJR · ChJR · commit 0808f47210fe · 2019-10-06T17:39:11.000+09:00
diff --git a/vm/build.rs b/vm/build.rs
@@ -23,7 +23,7 @@ fn git_tag() -> String {
 }
 
 fn git_branch() -> String {
-    git(&["rev-parse", "--abbrev-ref", "HEAD"])
+    git(&["name-rev", "--name-only", "HEAD"])
 }
 
 fn git(args: &[&str]) -> String {
