Merge branch 'main' into code-update-quality

Author: vlussenburg

.cm/overrides.cm

@@ -0,0 +1,35 @@
+# -*- mode: yaml -*-
+
+manifest:
+  version: 1.0
+
+triggers:
+  on:
+    - pr_created
+
+automations:
+  comment_ai_assistance_prompt:
+    # Post a comment for all PRs to prompt the PR author to indicate whether they used AI to assist coding in this PR
+    # Only do this if there's no existing AI-related label and we haven't asked before
+    if:
+      - false
+    run:
+      - action: add-comment@v1
+        args:
+          comment: |
+            Please mark which AI tools you used for this PR by checking the appropriate boxes:
+
+            - [ ] GitHub Copilot
+            - [ ] Cursor
+            - [ ] ChatGPT
+            - [ ] Tabnine
+            - [ ] JetBrains AI Assistant
+            - [ ] VSCode IntelliCode
+            - [ ] Claude
+            - [ ] Gemini
+            - [ ] Other AI tool
+            - [ ] No AI tools were used
+
+            Tip: If you want to avoid this comment in the future, you can add a label of the format `🤖 ai-*` when creating your PR.
+
+IS_NOT_A_BOT: {{ pr.author | match(list=['github-actions', 'dependabot', '[bot]']) | nope }}