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

More configs #102

Merged
merged 5 commits into from May 1, 2017

Conversation

Projects
None yet
2 participants
@ahalterman
Copy link
Member

ahalterman commented Apr 30, 2017

A few relatively minor changes to make the pipeline more portable.

  • Use customizable petr_config.ini. This makes it possible to use custom dictionaries, among other options
  • Put Mongo db and collection in config file so they can be changed without changing code. (Closes #91)

@ahalterman ahalterman requested a review from johnb30 Apr 30, 2017

@johnb30

johnb30 approved these changes May 1, 2017

Copy link
Member

johnb30 left a comment

Looks fine to me. Didn't actually run it so don't know if anything's broken, but I don't see anything obviously broken. 👍

@johnb30 johnb30 merged commit d1639c5 into master May 1, 2017

2 checks passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment