github / github/codeql

Docs: Consider describing how to import a database from GitHub in a bit more detail

Ouverte
#12,418 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub
question
Langage dominant
CodeQL
Étoiles
10.1k
Forks
2.1k
Merge moyen
2 j 15 h
PR mergées (30 j)
141

Description

https://codeql.github.com/docs/codeql-for-visual-studio-code/analyzing-your-projects/#obtaining-a-local-database
says:
> GitHub stores CodeQL databases for over 200,000 repos on GitHub.com, which you can **download using the REST API** [Emphasis mine].

However, there is no need to download the databases using the REST API, we can simply use "Download Database from GitHub" in the extension. It's nice to know that there is an API, but a user might think that the only way is to use the API.

A few sentences earlier we _can_ indeed read this:
> You can add a database [...] from a project’s URL on GitHub.com.

So technically this is already mentioned, but I think it's pretty easy to miss this sentence when reading the article.

Guide de contribution

Ouvrir le guide de contribution

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.