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

Issue 897 #1283

Merged
merged 2 commits into from
Jun 10, 2018
Merged

Issue 897 #1283

merged 2 commits into from
Jun 10, 2018

Conversation

savish
Copy link
Contributor

@savish savish commented Jun 2, 2018

This change is Reviewable

@mention-bot
Copy link

@savish, thanks for your PR! By analyzing the history of the files in this pull request, we identified @kbknapp to be a potential reviewer.

@kbknapp
Copy link
Member

kbknapp commented Jun 2, 2018

Looks great thanks! Once everything passes you're good to merge 👍

@kbknapp
Copy link
Member

kbknapp commented Jun 5, 2018

Looks like we forgot to check which help output this changes! If you run a full cargo test and see which help outputs changed, we'll need to update those tests.

@savish
Copy link
Contributor Author

savish commented Jun 5, 2018

Ran the full test suite, and it seems like it's only one of the newest tests (the ones related to this PR) that fails.

@kbknapp
Copy link
Member

kbknapp commented Jun 5, 2018

I finally found out why 😜

diff

@kbknapp
Copy link
Member

kbknapp commented Jun 9, 2018

@savish tests are good, merge away 👍

@kbknapp kbknapp merged commit de61bc7 into master Jun 10, 2018
@kbknapp kbknapp deleted the issue_897 branch June 10, 2018 18:27
@kbknapp kbknapp mentioned this pull request Jun 12, 2018
87 tasks
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