Change bot account

Author: r0qs

scripts/ci/post_style_errors_on_github.sh

@@ -26,7 +26,7 @@ function post_error_to_github
         --url "$GITHUB_API_URL" \
         --header 'accept: application/vnd.github.v3+json' \
         --header 'content-type: application/json' \
-        -u "stackenbotten:$GITHUB_ACCESS_TOKEN" \
+        -u "stackenbotten3000:$GITHUB_ACCESS_TOKEN" \
         --data "{\"body\": \"There was an error when running \`$CIRCLE_JOB\` for commit \`$CIRCLE_SHA1\`:\n\`\`\`\n$FORMATTED_ERROR_MSG\n\`\`\`\nPlease check that your changes are working as intended.\"}"
 }
 
@@ -47,7 +47,7 @@ function post_review_comment_to_github
             --url "$GITHUB_API_URL" \
             --header 'accept: application/vnd.github.v3+json, application/vnd.github.comfort-fade-preview+json' \
             --header 'content-type: application/json' \
-            -u "stackenbotten:$GITHUB_ACCESS_TOKEN" \
+            -u "stackenbotten3000:$GITHUB_ACCESS_TOKEN" \
             --data "{\"commit_id\": \"$CIRCLE_SHA1\", \"path\": \"$ERROR_PATH\", \"line\": $ERROR_LINE, \"side\": \"RIGHT\", \"body\": \"Coding style error\"}"
     done < "$ERROR_LOG"
 }