Remove branch from version display string

It's still in the details, but this won't be useful for deployed builds and it
just takes space. Also, when we don't get a branch name, identify the "buid
"branch" as `CI`.

Author: dbutenhof

backend/scripts/version.py

@@ -34,8 +34,8 @@ def main():
     backend = top / "backend"
     version = (backend / "VERSION").read_text().strip()
     sha = getone(["git", "rev-parse", "--short", "HEAD"])
-    branch = getone(["git", "branch", "--show-current"], if_none="HEAD")
-    display = f"v{version}-{sha} ({branch})"
+    branch = getone(["git", "branch", "--show-current"], if_none="CI")
+    display = f"v{version}-{sha}"
     print(f"VERSION: {display}")
     log = do(["git", "log", "-n10", "--format=%h###%aN###%aE###%aI###%s"])
     fields = ("sha", "author", "email", "date", "title")