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

Commencez par localiser le rendu et le chemin de mise à jour du commentaire de présentation de PR de la GitHub App, puis comparez le corps rendu avec le commentaire existant en ignorant les scan-run IDs dans les dashboard URLs. C’est terminé lorsque les pushes avec un diff de dépendances inchangé laissent le commentaire intact et évitent les notifications en double ainsi que les issue_comment.edited webhooks.