Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-12-16 | Fix pull requests from external repositories | Philip Whineray | |
Github/travis integration does not make available the encryption keys for pull requests from remote repositories. Move direct commands from travis into scripts so that we decrypt and deploy only when we can. |