Skip to content

Learn CodeQL docs: add short note about new terminology - #2275

Merged
shati-patel merged 3 commits into
github:masterfrom
jf205:sd-4017
Nov 7, 2019
Merged

Learn CodeQL docs: add short note about new terminology#2275
shati-patel merged 3 commits into
github:masterfrom
jf205:sd-4017

Conversation

@jf205

@jf205 jf205 commented Nov 7, 2019

Copy link
Copy Markdown
Contributor

Note explaining the use of CodeQL, QL and CodeQL databases in the Learn CodeQL Sphinx project.

@jf205
jf205 requested a review from felicitymay November 7, 2019 13:21
@jf205
jf205 requested a review from shati-patel as a code owner November 7, 2019 13:21
Comment thread docs/language/learn-ql/terminology-note.rst Outdated

@shati-patel shati-patel left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, this looks pretty clear to me!
I've made two minor suggestions, but feel free to ignore.

Comment thread docs/language/learn-ql/index.rst Outdated
Comment thread docs/language/learn-ql/terminology-note.rst Outdated
jf205 and others added 2 commits November 7, 2019 14:39
Co-Authored-By: shati-patel <42641846+shati-patel@users.noreply.github.com>
Co-Authored-By: shati-patel <42641846+shati-patel@users.noreply.github.com>

@felicitymay felicitymay left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks good. Just one question about a link.
Also, I suggest that we update the home page question "What is CodeQL?" to link to this topic for more information.

CodeQL databases
----------------

QL snapshots have been renamed CodeQL databases. :doc:`CodeQL databases <database>` contain relational data created and analyzed using CodeQL. They are the equivalent of QL snapshots, but have been optimized for use with the CodeQL tools.

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Will this link work outside the CodeQL project?

@jf205 jf205 Nov 7, 2019

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That topic is in this project--formerly called snapshot.rst.

(doc/sphinx would also fail if a :doc: link was broken.)

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ah - sorry, assumed that it was for the glossary in the CodeQL documentation!

@jf205

jf205 commented Nov 7, 2019

Copy link
Copy Markdown
Contributor Author

Thanks for the review @felicitymay.

Also, I suggest that we update the home page question "What is CodeQL?" to link to this topic for more information.

I'm not sure which question you mean?

@felicitymay

felicitymay commented Nov 7, 2019

Copy link
Copy Markdown
Contributor

The question towards the bottom of the page: http://docteam.internal.semmle.com/felicity/help.semmle.com-SD-4051/help/home.html. It's probably worth modifying the existing text to link to your new topic for more information (at some point).

@felicitymay

Copy link
Copy Markdown
Contributor

@shati-patel - do you have any more feedback or is this okay to merge?

@shati-patel shati-patel left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yep, looks good!

@shati-patel
shati-patel merged commit ec2008d into github:master Nov 7, 2019
@jf205
jf205 deleted the sd-4017 branch December 2, 2019 11:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants