Skip to content

docs: add CODEOWNERS entries and rename ql-documentation > language#1722

Merged
felicitymay merged 3 commits intogithub:masterfrom
jf205:rename-docs-folder
Aug 9, 2019
Merged

docs: add CODEOWNERS entries and rename ql-documentation > language#1722
felicitymay merged 3 commits intogithub:masterfrom
jf205:rename-docs-folder

Conversation

@jf205
Copy link
Contributor

@jf205 jf205 commented Aug 9, 2019

This PR adds a few codeowners entries so that the relevant doc team member is pinged when PRs are created that affect qhelp files for the relevant language. I think I have the added correct github usernames and languages, but please have a quick check.

@felicity-semmle I have also renamed the ql-documentation folder to language (as discussed) and added a codeowners entry to notify us for changes in that folder.

@jf205 jf205 requested a review from a team August 9, 2019 12:02
@felicitymay
Copy link
Contributor

Changes all LGTM. Thanks.

@felicitymay
Copy link
Contributor

@mc - are you happy with this addition of you as a codeowner for JavaScript qhelp files?

@mc
Copy link

mc commented Aug 9, 2019

no, I am not.

(but then I do not know why I am required to be happy. sorry.)

@felicitymay
Copy link
Contributor

felicitymay commented Aug 9, 2019

Rico Gloeckner, my apologies. I got mixed up between repositories and mentioned entirely the wrong person. I meant to ping @mc-semmle. I'll make sure that I take more care in future.

@mchammer01
Copy link
Contributor

mchammer01 commented Aug 9, 2019

Thanks @jf205, could you also add me as a CODEOWNER for the review of qhelp for COBOL? Thanks.

@jf205
Copy link
Contributor Author

jf205 commented Aug 9, 2019

Thanks @mc-semmle. COBOL doesn't live in this repo at the moment.

@mchammer01
Copy link
Contributor

Oh ok, nothing to do then. Thanks 👍

Copy link
Contributor

@felicitymay felicitymay left a comment

Choose a reason for hiding this comment

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

The directory rename looks sensible to me.

@felicitymay felicitymay merged commit ab07128 into github:master Aug 9, 2019
@jf205 jf205 deleted the rename-docs-folder branch September 26, 2019 07:42
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.

4 participants