Skip to content

Conversation

@BillyONeal
Copy link
Member

Remove out of date parts of the pull request template, and put instructions to the pull request submitter in a comment rather than in the public facing body of each request.

…ctions to pull request submitters in a comment rather than duplicating them into each PR.
@BillyONeal BillyONeal requested a review from a team as a code owner March 27, 2020 05:34
@BillyONeal BillyONeal self-assigned this Mar 27, 2020
@BillyONeal BillyONeal added the documentation Related to documentation or comments label Mar 27, 2020
Copy link
Member

@StephanTLavavej StephanTLavavej left a comment

Choose a reason for hiding this comment

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

I pushed a small change to use "are derived" consistently, and to drop "such as Boost" since I think that it's no longer necessary - the "listed in NOTICE.txt" distinction is sufficient.

@CaseyCarter CaseyCarter merged commit 20ad558 into microsoft:master Apr 1, 2020
@CaseyCarter
Copy link
Contributor

Thanks for your contribution!

@BillyONeal BillyONeal deleted the pr_template branch April 16, 2020 04:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Related to documentation or comments

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants