Remove link to github

2023-01-07 08:35:20 +01:00
parent 8039f296c3
commit 0ece789e85
1 changed files with 1 additions and 1 deletions
--- a/slides/markmaker.py
+++ b/slides/markmaker.py
@@ -228,7 +228,7 @@ def processcontent(content, filename):
 try:
    if "REPOSITORY_URL" in os.environ:
        repo = os.environ["REPOSITORY_URL"]
-    else:
+    #else:
        repo = subprocess.check_output(["git", "config", "remote.origin.url"]).decode("ascii")
    repo = repo.strip().replace("git@github.com:", "https://github.com/")
    if "BRANCH" in os.environ: