Title: to add sqrt of number problem in python #7
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Check for Duplicate Issues | |
on: | |
issues: | |
types: [opened] | |
jobs: | |
check_duplicate: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Check out repository | |
uses: actions/checkout@v3 | |
- name: Install jq | |
run: sudo apt-get update && sudo apt-get install -y jq | |
- name: Search for existing issues | |
id: search_issues | |
run: | | |
# URL encode the issue title (replace spaces with %20) | |
issue_title=$(echo "${{ github.event.issue.title }}" | sed 's/ /%20/g') | |
# Search for issues with a similar title | |
existing_issues=$(curl -s -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \ | |
"https://api.github.com/search/issues?q=repo:${{ github.repository }}+type:issue+state:open+${issue_title}") | |
# Extract issue numbers from the search result | |
echo "$existing_issues" | jq -r '.items[] | .number' > issue_numbers.txt | |
- name: Check if a duplicate exists | |
id: check_duplicate | |
run: | | |
issue_count=$(wc -l < issue_numbers.txt) | |
if [ "$issue_count" -gt 0 ]; then | |
echo "Duplicate issue(s) found." | |
exit 0 | |
else | |
echo "No duplicates found." | |
exit 1 | |
fi | |
- name: Comment and close the new issue if duplicate exists | |
if: steps.check_duplicate.outcome == 'success' | |
run: | | |
issue_numbers=$(cat issue_numbers.txt | tr '\n' ', ' | sed 's/, $//') | |
existing_issue=$(head -n 1 issue_numbers.txt) | |
# Comment on the new issue | |
curl -s -X POST -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \ | |
-H "Content-Type: application/json" \ | |
-d "{\"body\": \"Thanks for your contribution! 😊 However, it appears that a similar issue has already been reported. Please open a new issue that isn’t already listed, or review the open issues. If you see that someone hasn’t been active, you might consider commenting on that issue. 📋\"}" \ | |
"https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.issue.number }}/comments" | |
# Close the new issue | |
curl -s -X PATCH -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \ | |
-H "Content-Type: application/json" \ | |
-d '{"state": "closed"}' \ | |
"https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.issue.number }}" |