INNER CODE UNIT · Python

repo_name

arkworks-rs/groth16 · scripts/linkify_changelog.py:26

    repo_name = components[-2]

for line in fileinput.input(inplace=True):
    line = re.sub(r"\- #([0-9]*)", r"- [\\#\1](https://github.com/arkworks-rs/" + repo_name + r"/pull/\1)", line.rstrip())
    # edits the current file
    print(line)

View source record →

📰 Research Paper
Loading…
⏳ Fetching content…