[linux] 01/03: stable-update: Support bare repos

[debian-kernel at lists.debian.org]

This is an automated email from the git hooks/post-receive script.

waldi pushed a commit to branch master
in repository linux.

commit a143fb1a02f834cb03a26c1fa1f4cad0d25e4094
Author: Bastian Blank <waldi at debian.org>
Date:   Thu Feb 8 14:17:06 2018 +0100

    stable-update: Support bare repos
---
 debian/bin/stable-update | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/debian/bin/stable-update b/debian/bin/stable-update
index 7a79348..f17afdd 100755
--- a/debian/bin/stable-update
+++ b/debian/bin/stable-update
@@ -43,7 +43,10 @@ def print_stable_log(log, cur_ver, new_ver):
         cur_ver = next_ver
 
 def main(repo, new_ver):
-    os.environ['GIT_DIR'] = repo + '/.git'
+    if os.path.exists(os.path.join(repo, '.git')):
+        os.environ['GIT_DIR'] = os.path.join(repo, '.git')
+    else:
+        os.environ['GIT_DIR'] = repo
 
     changelog = Changelog(version=VersionLinux)
     cur_pkg_ver = changelog[0].version

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/kernel/linux.git