1. GitHub Docs
"Managing code scanning alerts for your repository." Under the section "Fixing an alert
" the documentation states
"GitHub automatically closes an alert if you fix the code in a pull request... GitHub closes an alert when code scanning determines that the code with the potential vulnerability is no longer present in the latest analysis for a branch."
2. Microsoft Learn
"Manage code scanning alerts in GitHub." In the "Fix code scanning alerts" unit
it is specified that "GitHub closes an alert automatically when you fix the code that triggered it. To fix an alert
you need to commit your changes to the branch where the alert was found."
3. GitHub Docs
"About code scanning alerts." In the section "About the status and details of alerts
" it clarifies the lifecycle: "An alert is usually closed when a user fixes the code that triggered the alert and pushes their changes to the branch that is being scanned."