Allow PRs for GH actions bot

Author: szymon-rd

project/scripts/check-cla.sh

@@ -2,15 +2,19 @@
 set -eux
 
 echo "Pull request submitted by $AUTHOR";
-signed=$(curl -s https://www.lightbend.com/contribute/cla/scala/check/$AUTHOR | jq -r ".signed");
-if [ "$signed" = "true" ] ; then
+if [ "$AUTHOR" = "github-actions[bot]" ] ; then
   echo "CLA check for $AUTHOR successful";
 else
-  echo "CLA check for $AUTHOR failed";
-  echo "Please sign the Scala CLA to contribute to the Scala compiler.";
-  echo "Go to https://www.lightbend.com/contribute/cla/scala and then";
-  echo "comment on the pull request to ask for a new check.";
-  echo "";
-  echo "Check if CLA is signed: https://www.lightbend.com/contribute/cla/scala/check/$AUTHOR";
-  exit 1;
+  signed=$(curl -s "https://www.lightbend.com/contribute/cla/scala/check/$AUTHOR" | jq -r ".signed");
+  if [ "$signed" = "true" ] ; then
+    echo "CLA check for $AUTHOR successful";
+  else
+    echo "CLA check for $AUTHOR failed";
+    echo "Please sign the Scala CLA to contribute to the Scala compiler.";
+    echo "Go to https://www.lightbend.com/contribute/cla/scala and then";
+    echo "comment on the pull request to ask for a new check.";
+    echo "";
+    echo "Check if CLA is signed: https://www.lightbend.com/contribute/cla/scala/check/$AUTHOR";
+    exit 1;
+  fi;
 fi;