[testing] Try the github-integration plugin

Author: driazati

Jenkinsfile

@@ -162,6 +162,10 @@ stage('Sanity Check') {
         ./tests/scripts/git_skip_ci.sh
         '''
         )
+        // if (skip_ci == 1) {
+        //   githubPRAddLabels(labelProperty: "CI was skipped")
+        // }
+        githubPRAddLabels(labelProperty: "CI was skipped")
         sh "${docker_run} ${ci_lint}  ./tests/scripts/task_lint.sh"
       }
     }

tests/python/unittest/test_ci.py

@@ -47,6 +47,8 @@ def test(commands, should_skip, why):
             # Jenkins git is too old and doesn't have 'git init --initial-branch'
             git.run("init")
             git.run("checkout", "-b", "main")
+            git.run("config", "user.name", "ci")
+            git.run("config", "user.email", "[email protected]")
             git.run("commit", "--allow-empty", "--message", "base commit")
             for command in commands:
                 git.run(*command)