Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[temp.param] Remove unused class template from example. #3199

Merged
merged 1 commit into from Oct 6, 2019

Conversation

rogerorr
Copy link
Contributor

No description provided.

source/templates.tex Outdated Show resolved Hide resolved
Copy link
Member

@jensmaurer jensmaurer left a comment

Choose a reason for hiding this comment

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

If you agree the first change is bogus, I'd suggest to rephrase the commit comment as

[temp.param] Remove unused class template from example.

and force-push the result. Thank you.

@jensmaurer jensmaurer added the changes requested Changes to the wording or approach have been requested and not yet applied. label Aug 24, 2019
@rogerorr rogerorr changed the title Two small editorial suggestions to 13.1 [temp.param] [temp.param] Remove unused class template from example. Aug 24, 2019
@jensmaurer
Copy link
Member

jensmaurer commented Aug 24, 2019

Thanks.

While the title of this pull request is now beautiful, you've actually queued up two commits, both of which lack a bit of splendor in their commit messages. Use "git log" to see it.

Please do a "git rebase -i master", merge the two commits into one, and clean up the commit message. Then do a "git push -u rogerorr -f template-editorial" to force-push and replace everything that was upstream.

(We can do that when we merge, but it's always easier if we have less work. Also, I can't merge without a second reviewer anyway, so we might forget eventually.)

@rogerorr
Copy link
Contributor Author

I have now rebased and force-pushed to get the right commit message and history.

@rogerorr
Copy link
Contributor Author

Jens, can the "change requested" label now be removed?

@jensmaurer jensmaurer removed the changes requested Changes to the wording or approach have been requested and not yet applied. label Aug 25, 2019
Copy link
Member

@jensmaurer jensmaurer 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 now.

@zygoloid zygoloid merged commit 94cf6f3 into cplusplus:master Oct 6, 2019
@rogerorr rogerorr deleted the template-editorial branch December 31, 2019 16:55
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.

None yet

3 participants