From a143fb1a02f834cb03a26c1fa1f4cad0d25e4094 Mon Sep 17 00:00:00 2001
From: Bastian Blank <waldi@debian.org>
Date: Thu, 8 Feb 2018 14:17:06 +0100
Subject: [PATCH] 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 7a79348dc..f17afdd91 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