Modify deployment tools to handle two GitHub apps.
Merge pull request #263 from OpenTreeOfLife/feedback-in-github-issues

Modify deployment tools to handle two GitHub apps.