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

Inizia individuando il rendering e il percorso di aggiornamento del commento di panoramica della PR della GitHub App, quindi confronta il corpo renderizzato con il commento esistente ignorando gli scan-run IDs negli dashboard URLs. È completato quando i push con un diff delle dipendenze invariato lasciano il commento intatto ed evitano notifiche duplicate e issue_comment.edited webhooks.