From a3ba93a1c824797dc2fd268c4d6aee1fe91513de Mon Sep 17 00:00:00 2001 From: Grace Cai Date: Wed, 18 Dec 2024 13:49:15 +0800 Subject: [PATCH] Update get-en-duplicated-notes.py (#19723) Co-authored-by: Grace Cai --- scripts/get-en-duplicated-notes.py | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/scripts/get-en-duplicated-notes.py b/scripts/get-en-duplicated-notes.py index a930392b16d3a..dc4ba062ae8d7 100644 --- a/scripts/get-en-duplicated-notes.py +++ b/scripts/get-en-duplicated-notes.py @@ -25,13 +25,10 @@ def store_exst_rn(ext_path,main_path): exst_issue_num = re.search(r'https://github.com/(pingcap|tikv)/[\w-]+/(issues|pull)/\d+', line) authors = re.findall(r'@\[([^\]]+)\]', line) # Get the list of authors in this line if exst_issue_num: - if exst_issue_num.group() not in exst_issue_nums: - note_level = level1 + level2 + level3 - note_pair = [exst_issue_num.group(),line.strip(),afile, note_level, authors] - exst_issue_nums.append(exst_issue_num.group()) - exst_notes.append(note_pair) - else: - continue + note_level = level1 + level2 + level3 + note_pair = [exst_issue_num.group(),line.strip(),afile, note_level, authors] + exst_issue_nums.append(exst_issue_num.group()) + exst_notes.append(note_pair) elif line.startswith("##"): level1 = "> " + line.replace("##","").strip() level2 = level3 = ""