Skip to content

Update default repository #8

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Mar 25, 2016
Merged

Update default repository #8

merged 1 commit into from
Mar 25, 2016

Conversation

pith
Copy link
Member

@pith pith commented Mar 25, 2016

Add new methods:

  • exits
  • count

@pith pith force-pushed the new-method branch 3 times, most recently from 0f5701b to 15cdfb5 Compare March 25, 2016 16:28
@coveralls
Copy link

Coverage Status

Coverage decreased (-0.4%) to 62.292% when pulling 21fd004 on new-method into 0a400ba on master.

@pith pith merged commit ef9fcdb into master Mar 25, 2016
@pith pith deleted the new-method branch March 25, 2016 16:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@pith @coveralls @adrienlauer