Bohaska commited on
Commit
99f4036
·
1 Parent(s): dd9290b

add issue id in beginning of title

Browse files
issue_titles.json CHANGED
The diff for this file is too large to render. See raw diff
 
small_scripts/make_issue_titles.py CHANGED
@@ -48,7 +48,7 @@ def generate_issue_titles_json():
48
  issue_title_raw = match.group(2) # Captured title part
49
 
50
  # Keep all text after ': ', no cleaning needed as per request
51
- issue_titles_dict[issue_number] = issue_title_raw.strip()
52
  else:
53
  print(f" Skipping line {line_num}: '{line}' - Does not match expected format '#X: '")
54
 
 
48
  issue_title_raw = match.group(2) # Captured title part
49
 
50
  # Keep all text after ': ', no cleaning needed as per request
51
+ issue_titles_dict[issue_number] = f"#{issue_number}: " + issue_title_raw.strip()
52
  else:
53
  print(f" Skipping line {line_num}: '{line}' - Does not match expected format '#X: '")
54