Merge branch 'main' into es-banner

Amazinggrace07 · Sep 5, 2023 · a76859d · a76859d
2 parents 4f6b040 + 54c2613
commit a76859d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/build-from-fork.yaml b/.github/workflows/build-from-fork.yaml
@@ -63,7 +63,8 @@ jobs:
           if ! $(platform environments --format plain --columns title,status | grep '${{ env.BRANCH_TITLE }}' | grep -q Active); then
             echo "::notice::Updating Platform.sh environment title for better tracking..."
             # in this case we DO want to statically include `pr-##` since we're referring to a pull request number
-            newTitle="(pr-${{ github.event.number }}) ${{ github.event.pull_request.title }}"
+            prTitle=${{ github.event.pull_request.title }}
+            newTitle="(pr-${{ github.event.number }}) $(echo prTitle | gawk '{ gsub(/"/,"\\\"") } 1')"
             platform environment:info title "${newTitle}" -e ${{ env.BRANCH_TITLE }}
             echo "::notice::Activating environment ${{ env.BRANCH_TITLE }}"
             platform environment:activate -e ${{ env.BRANCH_TITLE }}

diff --git a/.github/workflows/manage-environment.yaml b/.github/workflows/manage-environment.yaml
@@ -33,7 +33,8 @@ jobs:
       - name: Set environment title
         run: |
           # @todo - this is the same as the last step in build-from-fork:jobs:build. See if we can combine the two
-          newTitle="(pr-${{ github.event.number }}) ${{ github.event.pull_request.title }}"
+          prTitle=${{ github.event.pull_request.title }}
+          newTitle="(pr-${{ github.event.number }}) $(echo prTitle | gawk '{ gsub(/"/,"\\\"") } 1')"
           currentTitle=$(platform environment:info -e ${{ github.event.pull_request.head.ref }} title)
           if [[ "${currentTitle}" != "${newTitle}" ]]; then
             echo "::notice::Setting environment's title"