def make_commit_url()

in DocBuild.py [0:0]


    def make_commit_url(self, commit, url):
        cl = url
        if(url.endswith(".git")):  # github address scheme
            cl = url[:-4]
        return cl + "/commit/" + commit