From eb22d919feb63d3888fbf95dbfb013e1f4faf477 Mon Sep 17 00:00:00 2001 From: per1234 Date: Thu, 15 Jul 2021 20:22:27 -0700 Subject: [PATCH] Add prefix to error messages in bot comments In the event of a problem with a submission, the comments on the pull request thread. Due to the use of a matrix job to support submissions of any number of libraries in a single PR, this might consist of multiple comments. Adding a standard prominent prefix (:x: **ERROR:**) to all error messages will ensure that the most important part of this information is not missed. --- .github/workflows/manage-prs.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/manage-prs.yml b/.github/workflows/manage-prs.yml index 0d1b3b9f..66fca2eb 100644 --- a/.github/workflows/manage-prs.yml +++ b/.github/workflows/manage-prs.yml @@ -205,7 +205,7 @@ jobs: | A problem was found with your submission ${{ matrix.submission.submissionURL }} - ${{ matrix.submission.error }} + :x: **ERROR:** ${{ matrix.submission.error }} - name: Fail on error detected while parsing if: matrix.submission.error != '' @@ -291,7 +291,7 @@ jobs: issue_number: ${{ github.event.pull_request.number }}${{ github.event.issue.number }} body: | | - [Arduino Lint](https://github.com/arduino/arduino-lint) found errors with ${{ matrix.submission.submissionURL }}: + :x: **ERROR:** [Arduino Lint](https://github.com/arduino/arduino-lint) found errors with ${{ matrix.submission.submissionURL }}: ``` ${{ steps.read-lint-report.outputs.text-report }} @@ -420,7 +420,7 @@ jobs: issue_number: ${{ github.event.pull_request.number }}${{ github.event.issue.number }} body: | | - Your submission meets all requirements. However, the pull request could not be merged. + :x: **ERROR:** Your submission meets all requirements. However, the pull request could not be merged. Please follow this guide to resolve a merge conflict: https://docs.github.com/en/github/collaborating-with-issues-and-pull-requests/resolving-a-merge-conflict-on-github