eureka-server: don't create a new PR comment if it already exists

Author: TimHess

.github/workflows/build_eureka_server.yaml

@@ -49,16 +49,14 @@ 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 Eureka server image built for this pull request:
-            \`\`\`bash
-            docker run --rm -d --pull=always -p 8761:8761 --name eureka-pr steeltoe.azurecr.io/eureka-server:pr-${{ github.event.number }}
-            \`\`\``
-            })
+      run: |
+        gh pr comment $PR_NUMBER --edit-last --create-if-none --body "To run the Eureka Server image built for this pull request:
+              \`\`\`bash
+              docker run --rm -d --pull=always -p 8761:8761 --name eureka-pr steeltoe.azurecr.io/eureka-server:pr-$PR_NUMBER
+              \`\`\`"
+      shell: bash
+      env:
+        GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        PR_NUMBER: ${{ github.event.number }}