wren - Molodetz Institute

Author	SHA1	Message	Date
Bob Nystrom	d12463b82e	chore: disable doc deployment job in Travis CI and add TODOs for known issues	2018-07-13 16:15:26 +00:00
Bob Nystrom	bf5b66264f	chore: rename deploy script and simplify travis condition to push-only - Rename util/deployGHP.sh to util/deploy_docs_from_travis.sh for consistency - Change deploy condition from excluding pull requests to explicitly requiring push events on master branch	2018-07-13 15:02:37 +00:00