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