Merge branch 'master' into server_defs

Author: ckeshava

.github/scripts/assign_xls_number.py

@@ -121,7 +121,7 @@ def set_github_output(name: str, value: str):
 
     for draft_dir in sorted(draft_dirs):
         assigned_number = next_number
-        new_dir_name = re.sub(r"^XLS-draft-", f"XLS-{assigned_number:04d}-", draft_dir)
+        new_dir_name = re.sub(r"^xls-draft-", f"xls-{assigned_number:04d}-", draft_dir.lower())
         assignments.append({
             "draft": draft_dir,
             "number": assigned_number,
@@ -143,7 +143,7 @@ def set_github_output(name: str, value: str):
 
     # For single draft case, also output individual values for easy access
     if len(assignments) == 1:
-        set_github_output("xls_number", f"{assignments[0]['number']:04d}")
+        set_github_output("xls_number", f"{assignments[0]['number']}")
         set_github_output("draft_dir", assignments[0]['draft'])
         set_github_output("new_dir_name", assignments[0]['new_name'])
 

.github/workflows/discussions.yml

@@ -10,7 +10,7 @@ permissions:
   contents: read # Required to checkout the repository
 
 env:
-  STALE_DAYS: 730 # Number of days without updates to consider a discussion stale (2 years)
+  STALE_DAYS: 550 # Number of days without updates to consider a discussion stale (1.5 years)
   WARNING_DAYS: 30 # Number of days to wait after warning before closing
   WARNING_MESSAGE:
     | # note: the marker is necessary for the script and should not be removed