From ae7efe820eab6756053e43ad5747cd620e009956 Mon Sep 17 00:00:00 2001 From: Kayou Date: Thu, 26 Nov 2020 16:28:52 +0100 Subject: [PATCH] Use commit instead of the branch name --- doc/generate_helper_doc.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/generate_helper_doc.py b/doc/generate_helper_doc.py index 2389fa0e1..51da47c21 100644 --- a/doc/generate_helper_doc.py +++ b/doc/generate_helper_doc.py @@ -6,7 +6,7 @@ import datetime import subprocess def get_current_git_branch(): - p = subprocess.Popen("git branch -a --contains | grep remote | cut -d'/' -f3 ", shell=True, stdout=subprocess.PIPE, stderr=subprocess.STDOUT) + p = subprocess.Popen("git rev-parse --verify HEAD", shell=True, stdout=subprocess.PIPE, stderr=subprocess.STDOUT) stdout, stderr = p.communicate() current_branch = stdout.strip().decode('utf-8')