mirror of
https://github.com/github/codeql.git
synced 2026-04-19 14:04:09 +02:00
Manual models always take precedence over generated models, so there is no point in keeping the generated models. These APIs happened to have been modelled between model generation and merging this PR.