(1) Updates the Nginx config (staging and production) to redirect HTTP traffic to HTTPS;
(2) Updates the Nginx config (staging and production) to redirect the index to read-the-docs;
(3) Updates the after_install script with set -euo pipefail to fail the deployment, if Nginx fails;
(4) Updates the after_install script with -f, so that the files actually get moved.
@fgregg This pull request does a few things:
(1) Updates the Nginx config (staging and production) to redirect HTTP traffic to HTTPS; (2) Updates the Nginx config (staging and production) to redirect the index to read-the-docs; (3) Updates the after_install script with
set -euo pipefail
to fail the deployment, if Nginx fails; (4) Updates the after_install script with-f
, so that the files actually get moved.