Changed bot user
This commit is contained in:
parent
1c56e8b59c
commit
9c4c2556f2
1 changed files with 1 additions and 1 deletions
|
@ -19,7 +19,7 @@ fi
|
||||||
PR_ID=$(echo $RESULT | sed 's/.*"id":"\([^"]*\)".*/\1/')
|
PR_ID=$(echo $RESULT | sed 's/.*"id":"\([^"]*\)".*/\1/')
|
||||||
|
|
||||||
# TODO: Have another user do the commenting
|
# TODO: Have another user do the commenting
|
||||||
if [[ $RESULT == *"werthen"* ]]; then
|
if [[ $RESULT == *"zeuswpi-bot"* ]]; then
|
||||||
echo "User has already commented"
|
echo "User has already commented"
|
||||||
else
|
else
|
||||||
ADD_COMMENT_STR="mutation{addComment(input:{subjectId:\\\"$PR_ID\\\",body:\\\"Check out the preview on https://$PR_NR.pr.zeus.gent/\\\"}){clientMutationId}}"
|
ADD_COMMENT_STR="mutation{addComment(input:{subjectId:\\\"$PR_ID\\\",body:\\\"Check out the preview on https://$PR_NR.pr.zeus.gent/\\\"}){clientMutationId}}"
|
||||||
|
|
Loading…
Reference in a new issue