From 3922d25b5022b36feb4a6f8697659090370d7dc0 Mon Sep 17 00:00:00 2001
From: Hyunjin Song <tteu.ingog@gmail.com>
Date: Wed, 21 Nov 2018 17:45:20 +0900
Subject: [PATCH] Fix CircleCI builds

I don't know why, but it fails to fetch submodules...
---
 .circleci/config.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 54301863d..4174ba1ef 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -28,6 +28,8 @@ shared:
       name: Initialize
       command: |
         mkdir -p /tmp/artifacts
+        # Workaround for failing submodule fetching
+        git config --global --unset url."ssh://git@github.com".insteadOf || true
 
   # Commmon environment variables
   common_environment: &common_environment