commit a0a84866937f3033b0203a5b1994ef02f55d241b
author fengtao1998 <37149842+fengtao1998@users.noreply.github.com> Fri Oct 29 07:52:56 2021 +0800
committer GitHub <noreply@github.com> Fri Oct 29 07:52:56 2021 +0800
tree 28b28896cc005c8d7fee707ae9f60fa7a045644c
parent 215802902196dbdd0035f30c698f39089bf22fc7

[Docbot]Fix problems in docbot scripts (#25)

* add the doc label check

* Delete doc-label-check/.github directory

* Update index.js

* Update index.js

* Update index.js

* Update index.js

* Update index.js

* Update index.js

* Update index.js

* Update index.js

* Update index.js

Co-authored-by: 冯涛 <fengtaotao@bupt.edu.cn>

doc-label-check/dist/index.js

diff --git a/doc-label-check/dist/index.js b/doc-label-check/dist/index.js
index 4463867..e786e4d 100644
--- a/doc-label-check/dist/index.js
+++ b/doc-label-check/dist/index.js
@@ -2525,14 +2525,18 @@
         logger.debug(`--- ${htmlUrl} ---`);
         // Labels extracted from an issue description
 	      logger.debug(labelsin)
+        if (labelsin.includes('doc-added')){
+          return
+        }
         const Labels=['doc','doc-required','no-need-doc','doc-info-missing']
         const labels = labels_1.extractLabels(description, labelPattern);
+        const succmessage ="@"+user1+":Thanks for providing doc info!";
         octokit.issues.addAssignees({
           owner,
           repo,
           issue_number,
           assignees:user1,
-      });
+        });
         octokit.issues.listEvents({
             owner,
             repo,
@@ -2547,7 +2551,6 @@
         const labelsToIgnore = utils_1.removeDuplicates(listEventsData
             .filter(event => utils_1.isLabelEvent(event) && utils_1.isCreatedByUser(event))
             .map(({ label }) => label && label.name));
-	      logger.debug(listEventsData)
         logger.debug('Labels to ignore:');
         logger.debug(utils_1.formatStrArray(labelsToIgnore));
         // Labels registered in a repository
@@ -2630,7 +2633,6 @@
             issue_number,
             name:"doc-info-missing"
           })
-          const succmessage ="@"+user1+":Thanks for providing doc info!"
           yield octokit.issues.createComment({
             owner,
             repo,
@@ -2650,12 +2652,22 @@
             });
         }
         if(corrent==1){
+          try{
             yield octokit.issues.removeLabel({
                 owner,
                 repo,
                 issue_number,
                 name:"doc-info-missing"
               })
+            }catch{
+              logger.debug('no doc info missing')
+            }
+              yield octokit.issues.createComment({
+                owner,
+                repo,
+                issue_number,
+                body:succmessage
+              })
         }
     });
 }
@@ -2692,6 +2704,10 @@
                 case 'pull_request':
                 case 'pull_request_target': {
                     const { pull_request } = github.context.payload;
+                    if(pull_request.merged==true)
+                    {
+                      return
+                    }
                     if (pull_request === undefined) {
                         return;
                     }