Isolate study IDs in GitHub payload (after push)
Merge pull request #73 from OpenTreeOfLife/nudge-oti-index

Isolate study IDs in GitHub payload (after push)
typo
Merge pull request #74 from OpenTreeOfLife/nudge-oti-index

typo
More diagnostics to web2py console.
Merge pull request #75 from OpenTreeOfLife/nudge-oti-index

More diagnostics to web2py console.
Fix failing calls to oti service
Fetch OTI base-URL and data-repo-URL from config.
Rename oti_study_repo_url => opentree_docstore_url
Merge pull request #76 from OpenTreeOfLife/nudge-oti-index

Fixes for oti nudge, added OPENTREE_DOCSTORE_URL on config file

N.B. This will need changes once we're working in a multi-rep docstore...
Code cleanup and comments
Merge pull request #77 from OpenTreeOfLife/nudge-oti-index

Code cleanup and comments
Add prompt for managing GitHub webhooks.

Later this make this automatic using the GitHub API. See comments for
details.
Merge pull request #78 from OpenTreeOfLife/nudge-oti-index

Add prompt for managing GitHub webhooks.
Simpler prompt, don't wait for key press.
Merge branch 'nudge-oti-index'
Add un-indexing call to webhook that nudges oti.
Cleanup of webhook calls, added HTML mini-doc.
Merge remote-tracking branch 'origin/nudge-oti-index' into local-dep