MINOR: Fix typo in dev_pr.js

lidavidm · lidavidm · commit 744bfe082ed9 · 2025-02-20T20:42:54.000-05:00
diff --git a/.github/workflows/dev_pr.js b/.github/workflows/dev_pr.js
@@ -121,7 +121,7 @@ module.exports = {
     check_title_format: function({core, github, context}) {
         const title = context.payload.pull_request.title;
         if (title.startsWith("MINOR: ")) {
-            context.log("PR is a minor PR");
+            console.log("PR is a minor PR");
             return {"issue": null};
         }
 

Original file line number	Diff line number	Diff line change
`@@ -121,7 +121,7 @@ module.exports = {`
`121`	`121`	`check_title_format: function({core, github, context}) {`
`122`	`122`	`const title = context.payload.pull_request.title;`
`123`	`123`	`if (title.startsWith("MINOR: ")) {`
`124`		`- context.log("PR is a minor PR");`
	`124`	`+ console.log("PR is a minor PR");`
`125`	`125`	`return {"issue": null};`
`126`	`126`	`}`
`127`	`127`