Merge pull request #92 from Seasawher/develop

test: avoid creating duplicate issues

Author: Seasawher

README.md

@@ -117,8 +117,8 @@ What to do when an update is available and the build is successful.
 Allowed values:
 * `silent`: Do nothing
 * `commit`: directly commit the updated files
-* `issue`: notify the user by creating an issue
-* `pr`: notify the user by creating a pull request
+* `issue`: notify the user by creating an issue. No new issue will be created if one already exists.
+* `pr`: notify the user by creating a pull request. No new PR will be created if one already exists.
 
 Default: `pr`.
 
@@ -128,8 +128,8 @@ What to do when an update is available and the build fails.
 
 Allowed values:
 * `silent`: Do nothing
-* `issue`: notify the user by creating an issue
-* `pr`: notify the user by creating a pull request
+* `issue`: notify the user by creating an issue. No new issue will be created if one already exists.
+* `pr`: notify the user by creating a pull request. No new PR will be created if one already exists.
 
 Default: `issue`.
 

action.yml

@@ -8,8 +8,8 @@ inputs:
       Allowed values:
         * `silent`: Do nothing
         * `commit`: directly commit the updated files
-        * `issue`: notify the user by creating an issue
-        * `pr`: notify the user by creating a pull request
+        * `issue`: notify the user by creating an issue. No new issue will be created if one already exists.
+        * `pr`: notify the user by creating a pull request. No new PR will be created if one already exists.
       Default: `pr`.
     required: false
     default: "pr"
@@ -18,8 +18,8 @@ inputs:
       What to do when an update is available and the build fails.
       Allowed values:
         * `silent`: Do nothing
-        * `issue`: notify the user by creating an issue
-        * `pr`: notify the user by creating a pull request
+        * `issue`: notify the user by creating an issue. No new issue will be created if one already exists.
+        * `pr`: notify the user by creating a pull request. No new PR will be created if one already exists.
       Default: `issue`.
     required: false
     default: "issue"

scripts/create-issue.sh

@@ -18,5 +18,10 @@ if ! gh api repos/$GH_REPO/labels/$LABEL_NAME --silent 2>/dev/null; then
   gh api repos/$GH_REPO/labels -F name="$LABEL_NAME" -F color="$LABEL_COLOR" -F description="Auto update for Lean dependencies"
 fi
 
-# Create the issue
-gh issue create --title "$TITLE" --body "$BODY" --label "$LABEL_NAME"
+# Check if an open issue with the same label already exists
+if gh issue list --label "$LABEL_NAME" --state open --json number | grep -q "number"; then
+  echo "An open issue with label '$LABEL_NAME' already exists. Skipping issue creation."
+else
+  # Create the issue
+  gh issue create --title "$TITLE" --body "$BODY" --label "$LABEL_NAME"
+fi