fix comment

Author: lidavidm

.github/workflows/dev_pr.js

@@ -16,10 +16,12 @@
 // under the License.
 
 async function have_comment(github, context, pr_number, tag) {
+    console.log(`Looking for existing comment on ${pr_number} with substring ${tag}`);
     const query = `
 query($owner: String!, $name: String!, $number: Int!, $cursor: String) {
   repository(owner: $owner, name: $name) {
     pullRequest(number: $number) {
+      id
       comments (after:$cursor, first: 50) {
         nodes {
           id
@@ -47,7 +49,9 @@ query($owner: String!, $name: String!, $number: Int!, $cursor: String) {
             number: pr_number,
             cursor,
         });
+        console.log("Got result:")
         console.log(result);
+        console.log(result.repository.pullRequest.comments);
         pr_id = result.repository.pullRequest.id;
         cursor = result.repository.pullRequest.comments.pageInfo;
         const comments = result.repository.pullRequest.comments.nodes;