diff --git a/docs/markmaker.py b/docs/markmaker.py index 8c4eb7c6..979bd0eb 100755 --- a/docs/markmaker.py +++ b/docs/markmaker.py @@ -143,7 +143,7 @@ try: repo = os.environ["REPOSITORY_URL"] else: repo = subprocess.check_output(["git", "config", "remote.origin.url"]) - repo = repo.strip().replace("git@github.com:", "https://github.com/") + repo = repo.strip().replace("git@github.com:", "https://github.com/") if "BRANCH" in os.environ: branch = os.environ["BRANCH"] else: