had a developer enter in the wrong JiraID# in a GitHub PR title and the PR got merged and closed. Now that specific JiraID is refelected incorrectly as being fixed with the PR. He has since updated the PR title with the correct JiraID, but there is no way to rescan so that the PR information gets updated to the correct JiraID.
Is there a way to do this?