From 15f2f57e6454c341430d8786378a92f16ed3134b Mon Sep 17 00:00:00 2001
From: Will Feng <willfeng@fb.com>
Date: Fri, 1 Mar 2019 14:10:01 -0500
Subject: [PATCH] Fix GPG key error

---
 .circleci/config.yml     | 13 +++++++++++++
 src/pytorch-sphinx-theme |  2 +-
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 71bff3e5ef4..692b814858b 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -6,11 +6,24 @@ install_official_git_client: &install_official_git_client
     sudo apt-get -qq update
     sudo apt-get -qq install openssh-client git
 
+# This system setup script is meant to run before the CI-related scripts, e.g.,
+# installing Git client, checking out code, setting up CI env, and
+# building/testing.
+setup_linux_system_environment: &setup_linux_system_environment
+  name: Set Up System Environment
+  no_output_timeout: "1h"
+  command: |
+    set -e
+     # Set up CircleCI GPG keys for apt, if needed
+    curl -L https://packagecloud.io/circleci/trusty/gpgkey | sudo apt-key add -
+
 pytorch_tutorial_build_defaults: &pytorch_tutorial_build_defaults
   machine:
     image: default
   steps:
   - checkout
+  - run:
+      <<: *setup_linux_system_environment
   - run:
       name: Set Up CI Environment
       no_output_timeout: "1h"
diff --git a/src/pytorch-sphinx-theme b/src/pytorch-sphinx-theme
index 181ad8dfbee..19dbba563ff 160000
--- a/src/pytorch-sphinx-theme
+++ b/src/pytorch-sphinx-theme
@@ -1 +1 @@
-Subproject commit 181ad8dfbee4e7188ac52c1d0cb768720a2731c4
+Subproject commit 19dbba563ffd86c4167b6e9ac571556521c25f13