From bc0b11e1ef72d6a9b8c32b4b7110aa35dfe971bf Mon Sep 17 00:00:00 2001
From: "Paul Gauthier (aider)" <paul@aider.chat>
Date: Fri, 13 Dec 2024 08:45:43 -0800
Subject: [PATCH] feat: Add fixed enhancement issue closing

---
 scripts/issues.py | 65 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 65 insertions(+)

diff --git a/scripts/issues.py b/scripts/issues.py
index 3750f64d1..791160604 100755
--- a/scripts/issues.py
+++ b/scripts/issues.py
@@ -46,6 +46,13 @@ CLOSE_STALE_COMMENT = (
     + BOT_SUFFIX
 )
 
+CLOSE_FIXED_ENHANCEMENT_COMMENT = (
+    """I'm closing this enhancement request since it has been marked as 'fixed' for over 3 weeks. The requested feature should now be available in recent versions of aider.
+
+If you find that this enhancement is still needed, please feel free to reopen this issue or create a new one."""
+    + BOT_SUFFIX
+)
+
 # GitHub API configuration
 GITHUB_API_URL = "https://api.github.com"
 REPO_OWNER = "Aider-AI"
@@ -306,6 +313,63 @@ def handle_stale_closing(all_issues, auto_yes):
                 print(f"  Closed issue #{issue['number']}")
 
 
+def handle_fixed_enhancements(all_issues, auto_yes):
+    print("\nChecking for fixed enhancement issues to close...")
+
+    for issue in all_issues:
+        # Skip if not open or doesn't have both required labels
+        labels = [label["name"] for label in issue["labels"]]
+        if (
+            issue["state"] != "open"
+            or "enhancement" not in labels
+            or "fixed" not in labels
+        ):
+            continue
+
+        # Find when the fixed label was added
+        timeline_url = (
+            f"{GITHUB_API_URL}/repos/{REPO_OWNER}/{REPO_NAME}/issues/{issue['number']}/timeline"
+        )
+        response = requests.get(timeline_url, headers=headers)
+        response.raise_for_status()
+        events = response.json()
+
+        # Find the most recent fixed label addition
+        fixed_events = [
+            event
+            for event in events
+            if event.get("event") == "labeled" and event.get("label", {}).get("name") == "fixed"
+        ]
+
+        if not fixed_events:
+            continue
+
+        latest_fixed = datetime.strptime(fixed_events[-1]["created_at"], "%Y-%m-%dT%H:%M:%SZ")
+        days_fixed = (datetime.now() - latest_fixed).days
+
+        if days_fixed >= 21:
+            print(f"\nFixed enhancement ready for closing #{issue['number']}: {issue['title']}")
+            print(f"  Has been marked fixed for {days_fixed} days")
+
+            if not auto_yes:
+                confirm = input("Close this issue? (y/n): ")
+                if confirm.lower() != "y":
+                    print("Skipping this issue.")
+                    continue
+
+            # Add closing comment
+            comment_url = f"{GITHUB_API_URL}/repos/{REPO_OWNER}/{REPO_NAME}/issues/{issue['number']}/comments"
+            response = requests.post(
+                comment_url, headers=headers, json={"body": CLOSE_FIXED_ENHANCEMENT_COMMENT}
+            )
+            response.raise_for_status()
+
+            # Close the issue
+            url = f"{GITHUB_API_URL}/repos/{REPO_OWNER}/{REPO_NAME}/issues/{issue['number']}"
+            response = requests.patch(url, headers=headers, json={"state": "closed"})
+            response.raise_for_status()
+            print(f"  Closed issue #{issue['number']}")
+
 def handle_duplicate_issues(all_issues, auto_yes):
     open_issues = [issue for issue in all_issues if issue["state"] == "open"]
     grouped_open_issues = group_issues_by_subject(open_issues)
@@ -363,6 +427,7 @@ def main():
     handle_stale_issues(all_issues, args.yes)
     handle_stale_closing(all_issues, args.yes)
     handle_duplicate_issues(all_issues, args.yes)
+    handle_fixed_enhancements(all_issues, args.yes)
 
 
 if __name__ == "__main__":