If a github issue or PR is edited, update the associated message in Discord.
If a github issue or PR is edited, update the associated message in Discord.