Having the alert number linked to the PR could be really useful when trying to get about the alert through the GitHub REST API
Having the alert number linked to the PR could be really useful when trying to get about the alert through the GitHub REST API