Update

action/issue-verifiy.php

@@ -0,0 +1,41 @@
+<?php
+
+if (
+    $payload['action'] == 'created' &&
+    isset($payload['issue']) &&
+    isset($payload['comment']) &&
+    (PHP_SAPI !== 'cli' ? $payload['comment']['user']['login'] != $settings['username'] : true)
+) {
+    $PRNumber = $payload['issue']['number'];
+    $user = $payload['comment']['user']['login'];
+    $repo = $payload['repository']['full_name'];
+    $isAdmin = in_array($user, $settings['admins']);
+    $comment = $payload['comment']['body'] ?? '';
+
+    if (
+        preg_match("/\@" . $settings['username'] . "/", strtolower($payload['comment']['body'] ?? '')) &&
+        preg_match("/verify/", strtolower($payload['comment']['body'] ?? ''), $matches)
+    ) {
+        if ($isAdmin) {
+            foreach (explode("\n", strtolower($comment)) as $line) {
+
+                // We are in a blockquote, skip this line.
+                if (preg_match("/> /", $line)) {
+                    continue;
+                }
+
+                if (preg_match("/verify/", $line)) {
+                    api(
+                        $payload['issue']['url'] . '/labels',
+                        json_encode(
+                            array(
+                                "labels" => array("verified", "bug")
+                            )
+                        ),
+                        'PUT'
+                    );
+                }
+            }
+        }
+    }
+}

action/pr-accepted-message.php

@@ -8,8 +8,7 @@
     $user = $payload['pull_request']['user']['login'];
     $repo = $payload['repository']['full_name'];
     $merged = $payload['pull_request']['merged'] ?? false;
-
-    if ($merged) {
+    if ($merged && $user != "dependabot[bot]") {
         // Send a message to Discord
         discord("PR [{$repo}](<https://github.com/{$repo}>) [#$PRNumber](<{$payload['pull_request']['html_url']}>) is accepted! Closing message to [{$user}](<https://github.com/{$user}>).");