dearwolf/aider
1
0
Fork 0
mirror of https://github.com/Aider-AI/aider.git synced 2025-05-20 12:24:59 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: Add greeting to comment when closing duplicate issue

Browse source
This commit is contained in:
Paul Gauthier 2024-09-21 18:36:33 -07:00 • committed by Paul Gauthier (aider)
parent 6731815251
commit 26f9a10324
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
scripts/issues.py
View file

@ -84,6 +84,7 @@ def comment_and_close_duplicate(issue, oldest_issue):
close_url = f"{GITHUB_API_URL}/repos/{REPO_OWNER}/{REPO_NAME}/issues/{issue['number']}"
comment_body = (
"Thanks for trying aider and filing this issue.\n\n"
f"This looks like a duplicate of #{oldest_issue['number']}, so I'm going to close it so"
" discussion can happen there. Please let me know if you think it's actually a distinct"
" issue."