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

Limit search results and add metrics #206

Merged
merged 8 commits into from
Jul 3, 2018
Merged

Conversation

mithrandi
Copy link
Member

@mithrandi mithrandi commented Jul 3, 2018

Closes #10.


This change is Reviewable

@codecov
Copy link

codecov bot commented Jul 3, 2018

Codecov Report

Merging #206 into master will not change coverage.
The diff coverage is 100%.

@@          Coverage Diff          @@
##           master   #206   +/-   ##
=====================================
  Coverage     100%   100%           
=====================================
  Files           7      8    +1     
  Lines         187    207   +20     
  Branches       14     15    +1     
=====================================
+ Hits          187    207   +20

@jonathanj
Copy link
Member

Reviewed 5 of 7 files at r1, 3 of 3 files at r2.
Review status: all files reviewed, 1 unresolved discussion (waiting on @mithrandi)


setup.py, line 26 at r2 (raw file):

        'toolz',
        'py2casefold',
        'prometheus_client',

Don't you also need to update requirements.txt?


Comments from Reviewable

@mithrandi
Copy link
Member Author

Reviewed 1 of 7 files at r1, 1 of 1 files at r3.
Review status: all files reviewed, 1 unresolved discussion (waiting on @jonathanj)


setup.py, line 26 at r2 (raw file):

Previously, jonathanj (Jonathan Jacobs) wrote…

Don't you also need to update requirements.txt?

Done.


Comments from Reviewable

@jonathanj
Copy link
Member

Reviewed 1 of 1 files at r3, 1 of 1 files at r4.
Review status: :shipit: complete! all files reviewed, all discussions resolved


Comments from Reviewable

@jonathanj
Copy link
Member

bors r+


Comments from Reviewable

bors-fusion bot added a commit that referenced this pull request Jul 3, 2018
206: Limit search results and add metrics r=jonathanj a=mithrandi

Closes #10.



Co-authored-by: Tristan Seligmann <[email protected]>
@mithrandi
Copy link
Member Author

bors r+

bors-fusion bot added a commit that referenced this pull request Jul 3, 2018
206: Limit search results and add metrics r=mithrandi a=mithrandi

Closes #10.



Co-authored-by: Tristan Seligmann <[email protected]>
@bors-fusion
Copy link
Contributor

bors-fusion bot commented Jul 3, 2018

Build succeeded

@bors-fusion bors-fusion bot merged commit bdf8eed into master Jul 3, 2018
@bors-fusion bors-fusion bot deleted the 10-results-limit branch July 3, 2018 19:26
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.

2 participants