GitHub Developers announcment: https://developer.github.com/changes/2017-06-30-installations-adding-removing-a-repository/ GitHub API docs: https://developer.github.com/v3/apps/installations/#add-repository-to-installation
GitHub Developers announcment:
https://developer.github.com/changes/2017-06-30-installations-adding-removing-a-repository/
GitHub API docs:
https://developer.github.com/v3/apps/installations/#add-repository-to-installation