Skip to content

Conversation

@jcreedcmu
Copy link
Contributor

Checklist

Comment on lines 5 to 6
- Add CodeQL-query-powered handlers for 'Go to Definition' and 'Go To
References' on source archive files.
Copy link
Contributor

Choose a reason for hiding this comment

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

Suggested change
- Add CodeQL-query-powered handlers for 'Go to Definition' and 'Go To
References' on source archive files.
- Enable 'Go to Definition' and 'Go to References' on source archive files
in CodeQL databases. This is handled by a CodeQL query.

Suggestion to make this a bit clearer?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Ok, sounds good! That change of emphasis makes sense now that you point it out.


/**
* This setting is deliberately not in package.json so that it does
* Any settings below deliberately not in package.json so that they do
Copy link
Contributor

Choose a reason for hiding this comment

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

Nit: there's a grammatical error here.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

oops fixed

Copy link
Contributor

@aeisenberg aeisenberg left a comment

Choose a reason for hiding this comment

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

Looks good, after addressing @shati-patel's change.

@shati-patel
Copy link
Contributor

@github/product-docs-dsp has been notified, we probably want to wait on github/semmle-docs#5 before merging this.

Docs update is done! We can publish that any time, just let me know when you plan to release.

@jcreedcmu jcreedcmu force-pushed the jcreed/jump-to-def-release branch from 96e5943 to a98e3bc Compare May 15, 2020 16:43
@jcreedcmu
Copy link
Contributor Author

Should wait until after 1.1.5 release before merging this, just so I can rebase onto the CHANGELOG changes.

aeisenberg
aeisenberg previously approved these changes May 19, 2020
aeisenberg
aeisenberg previously approved these changes May 19, 2020
@jcreedcmu jcreedcmu merged commit c289f1f into github:master May 19, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants