GitHub: add helper bot for bugs

.github/workflows/missing_log.yml

@@ -0,0 +1,22 @@
+name: "Add missing log comment"
+on:
+  issues:
+    types: [labeled]
+
+jobs:
+  comment:
+    if: contains(github.event.issue.labels.*.name, 'missing-log')
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/github-script@v7
+        with:
+          script: |
+            github.rest.issues.createComment({
+              issue_number: context.issue.number,
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              body: `Hello, I'm an automated bot. \n\n
+                Please attach a log file to this issue as it is required to properly diagnose the problem. \n\n
+                Logs help verify versions, inspect for errors, prevent duplicate reports, etc. \n\n
+                Thank you!`
+            })