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

Remove doc_cfg feature #1062

Closed
wants to merge 1 commit into from
Closed

Remove doc_cfg feature #1062

wants to merge 1 commit into from

Conversation

jhpratt
Copy link
Contributor

@jhpratt jhpratt commented Jul 29, 2019

I presume this is legacy, since it literally wasn't used anywhere.

I presume this is legacy, since it literally wasn't used anywhere.
@SergioBenitez
Copy link
Member

Good catch! Merged in 2dd09f9. :)

@SergioBenitez SergioBenitez added the pr: merged This pull request was merged manually. label Aug 6, 2019
@jhpratt
Copy link
Contributor Author

jhpratt commented Aug 6, 2019

@SergioBenitez Just curious, what's the advantage to merging it manually?

@jhpratt jhpratt deleted the no-doc-cfg branch August 6, 2019 21:34
@SergioBenitez
Copy link
Member

I don't want any merge commits. I rebase and cherry pick, sometimes altering the commit in the process. GitHub's rebase and merge flow doesn't let me do that, so I do it manually. It also lets me run the unit tests after rebasing.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr: merged This pull request was merged manually.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants