github / github/codeql

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

Aperta
#12,418 1 commento 0 reazioni 0 assegnatari Vedi su GitHub
question
Lingua principale
CodeQL
Stelle
10.1k
Fork
2.1k
Merge medio
2g 15h
PR unite (30g)
141

Descrizione

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.

Guida per i contributori

Apri la guida per i contributori

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.