Update replace.py (#1121)

replace '/#' with '#'
which applies to sections in markdown pages, mainly our internal wiki links
This commit is contained in:
Rust1667 2023-11-13 16:08:34 +01:00 committed by GitHub
parent bcce13144c
commit cb82f8a053
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

1
.github/replace.py vendored
View File

@ -96,6 +96,7 @@ def replace_urls(text):
text = remove_backtowiki_toc(text) text = remove_backtowiki_toc(text)
text = replace_pages(text) text = replace_pages(text)
text = reformat_subsections(text) text = reformat_subsections(text)
text = re.sub('/#', '#', text)
text = general(text) text = general(text)
text = individual(text) text = individual(text)
return text return text