From cb82f8a05386024bae3ba035f56a146eaa439d58 Mon Sep 17 00:00:00 2001
From: Rust1667 <115593284+Rust1667@users.noreply.github.com>
Date: Mon, 13 Nov 2023 16:08:34 +0100
Subject: [PATCH] Update replace.py (#1121)

replace '/#' with '#'
which applies to sections in markdown pages, mainly our internal wiki links
---
 .github/replace.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/replace.py b/.github/replace.py
index 768ff5f18..e6187dd31 100644
--- a/.github/replace.py
+++ b/.github/replace.py
@@ -96,6 +96,7 @@ def replace_urls(text):
     text = remove_backtowiki_toc(text)
     text = replace_pages(text)
     text = reformat_subsections(text)
+    text = re.sub('/#', '#', text)
     text = general(text)
     text = individual(text)
     return text