Currently, users can edit PR comments even after a PR is merged. The edited comments are just updated even on Activity tab(comments are not highlighted as "Edited").

Looking forward for a lock option or grey the PR after merge so that comments cannot be altered or added