Function replace_text

tools/prepare-github-release.py:26–29

(path: Path, old: str, new: str)

def replace_text(path: Path, old: str, new: str):
    text = path.read_text()
    text = text.replace(old, new)
    path.write_text(text)


def prepare_release(