GitHub App: PR overview comment re-edited on every push with no content change

The Socket GitHub App's PR overview comment (<!-- overview-comment -->) is edited in place after every push, even when the dependency diff is completely unchanged. On one PR I observed 8 edits in ~50 minutes; diffing the bodies, the only change each time was the diff-scan/<uuid> in the dashboard links — same package, same scores, same table, byte-identical otherwise.

Each edit re-notifies subscribers and fires issue_comment.edited webhooks, so unchanged scans produce pure notification churn for humans and bots watching the PR.

Request: skip the comment edit when the rendered body (ignoring scan-run IDs in URLs) is identical to what is already posted. The new scan ID doesn't need to reach the comment — the dashboard already has it

Comienza localizando el renderizado y la ruta de actualización del comentario de resumen de PR de la GitHub App; después, compara el cuerpo renderizado con el comentario existente, ignorando los scan-run IDs en las dashboard URLs. Se considera completado cuando los pushes con un diff de dependencias sin cambios dejan el comentario intacto y evitan notificaciones duplicadas y issue_comment.edited webhooks.