Always use short hash

oseiler2 · Jun 2, 2023 · 5e05d84 · 5e05d84
1 parent e831c34
commit 5e05d84
Showing 1 changed file with 6 additions and 11 deletions.
diff --git a/git-rev.py b/git-rev.py
@@ -27,11 +27,6 @@
       branch = m.group(2)
       tag = "latest"
 
-  # get current revision hash
-  GITHUB_SHA = os.environ.get('GITHUB_SHA')
-  if GITHUB_SHA is not None:
-    commit = GITHUB_SHA
-
 else:
   # running locally
 
@@ -49,14 +44,14 @@
   except:
     branch = "unknown"
 
-  # get current revision hash
-  try:
-    commit = subprocess.check_output("git log --pretty=format:%h -n 1", shell=True).decode().strip()
-  except:
-    commit = "?"
-
 version = tag
 
+# get current revision hash
+try:
+  commit = subprocess.check_output("git log --pretty=format:%h -n 1", shell=True).decode().strip()
+except:
+  commit = "?"
+
 # if not main branch append branch name
 if branch != "main" and branch != "HEAD":
   version += "-[" + branch + "]"