Don't create a new PR comment if it already exists

Author: TimHess

.editorconfig

@@ -10,3 +10,9 @@ indent_size = 4
 trim_trailing_whitespace = true
 insert_final_newline = true
 charset = utf-8
+
+[*.{yml,yaml}]
+indent_size = 2
+tab-width = 2
+max_line_length = 160
+indent_size = 2

.github/workflows/build_config_server.yaml

@@ -49,16 +49,15 @@ jobs:
     - name: Push image
       run: docker push --all-tags ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}
 
-    - uses: actions/github-script@v7
+    - name: Post PR comment with image info
       if: ${{ github.event_name == 'pull_request' }}
-      with:
-        script: |
-            github.rest.issues.createComment({
-                issue_number: context.issue.number,
-                owner: context.repo.owner,
-                repo: context.repo.repo,
-                body: `To run the Spring Cloud Config Server image built for this pull request:
+      run: |
+        gh pr comment $PR_NUMBER --edit-last --create-if-none `
+          --body `To run the Spring Cloud Config Server image built for this pull request:
             \`\`\`bash
-            docker run --rm -d --pull=always -p 8888:8888 --name config-pr steeltoe.azurecr.io/config-server:pr-${{ github.event.number }}
+            docker run --rm -d --pull=always -p 8888:8888 --name config-pr $REGISTRY/$IMAGE_NAME:pr-$PR_NUMBER
             \`\`\``
-            })
+      shell: bash
+      env:
+        GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        PR_NUMBER: ${{ github.event.number }}