chore: add GitHub action for checking repro

Author: satya164

.github/workflows/check-repro.yml

@@ -0,0 +1,91 @@
+name: Check for repro
+on:
+  issues:
+    types:
+      - labeled
+      - edited
+  issue_comment:
+    types:
+      - created
+      - edited
+
+jobs:
+  check-repro:
+    runs-on: ubuntu-latest
+    if: (github.event.action == 'labeled' && github.event.label.name == 'needs repro') || github.event.action != 'labeled'
+    steps:
+      - uses: actions/github-script@v3
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          script: |
+            const user = context.payload.comment
+              ? context.payload.comment.user.login
+              : context.payload.issue.user.login;
+            const body = context.payload.comment
+              ? context.payload.comment.body
+              : context.payload.issue.body;
+
+            const regex = new RegExp(
+              `https?:\\/\\/((github\\.com\\/${user}\\/[^/]+\\/?[\\s\\n]+))`,
+              'gm'
+            );
+
+            console.log(JSON.stringify(context, null, 2));
+
+            if (context.payload.action !== 'labeled') {
+              if (regex.test(body)) {
+                await github.issues.addLabels({
+                  issue_number: context.issue.number,
+                  owner: context.repo.owner,
+                  repo: context.repo.repo,
+                  labels: ['repro provided'],
+                });
+
+                try {
+                  await github.issues.removeLabel({
+                    issue_number: context.issue.number,
+                    owner: context.repo.owner,
+                    repo: context.repo.repo,
+                    name: 'needs repro',
+                  });
+                } catch (error) {
+                  if (!/Label does not exist/.test(error.message)) {
+                    throw error;
+                  }
+                }
+              }
+            } else {
+              const body = `Hey @${user}! Thanks for opening the issue. It seems that the issue doesn't contain enough information to reproduce the issue.
+
+              **The best way to get attention to your issue is to provide an easy way for a developer to reproduce the issue.**
+
+              You can provide a repro in a GitHub repo under username. **Don't link to a branch or specific file etc.** as it won't be detected.
+
+              Try to keep the repro as small as possible by narrowing down the minimal amount of code needed to reproduce the issue. **Don't link to your entire project or a project containing code unrelated to the issue.** See ["How to create a Minimal, Reproducible Example"](https://stackoverflow.com/help/minimal-reproducible-example) for more information.
+
+              You can edit your original issue to include a link to the repro, or leave it as a comment.`
+
+              const comments = await github.issues.listComments({
+                issue_number: context.issue.number,
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+              });
+
+              if (comments.data.some((comment) => comment.body === body)) {
+                return;
+              }
+
+              await github.issues.createComment({
+                issue_number: context.issue.number,
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+                body,
+              });
+
+              await github.issues.addLabels({
+                issue_number: context.issue.number,
+                owner: context.repo.owner,
+                repo: context.repo.repo,
+                labels: ['needs repro'],
+              });
+            }