OpenTreeOfLife/opentree — pull request #457 by jar398 (2014-09-27 14:31:27+00:00)
Title: Dont check out oti

The index-doc-store script had a gratuitous git_refresh of the oti repo. If it's necessary up update the plugin before indexing, that has to be done manually as a separate 'push.sh ... oti' step.