From b37f879568e51826f4ad286789f6730a346cf734 Mon Sep 17 00:00:00 2001
From: Ethan Gordon <ekgordon@cs.washington.edu>
Date: Thu, 13 May 2021 21:42:22 -0700
Subject: [PATCH 1/2] Fix DOCS workflow

---
 .github/workflows/docs.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index e0c7326..73bad14 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -19,7 +19,6 @@ jobs:
           # Docs
           - os: ubuntu-20.04
             catkin: ON
-            aikidopy: OFF
             build: DOCS
             config: ""
     runs-on: ${{ matrix.os }}
@@ -28,10 +27,9 @@ jobs:
       USE_CATKIN: ${{ matrix.catkin }}
       BUILD_NAME: ${{ matrix.build }}
       CATKIN_CONFIG_OPTIONS: ${{ matrix.config }}
-      BUILD_AIKIDOPY: ${{ matrix.aikidopy }}
       BUILD_TYPE: Release
       DISTRIBUTION: ${{ secrets.DISTRIBUTION }}
-      REPOSITORY: aikido
+      REPOSITORY: libada
       SUDO: sudo
       CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
     steps:

From 1d2440ca68dfee66566d1e290babbe3d027da9f5 Mon Sep 17 00:00:00 2001
From: Ethan Gordon <ekgordon@cs.washington.edu>
Date: Thu, 13 May 2021 23:05:32 -0700
Subject: [PATCH 2/2] Switch to https cloning

---
 .ci/build_docs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci/build_docs.sh b/.ci/build_docs.sh
index 32dff81..a8d55ce 100755
--- a/.ci/build_docs.sh
+++ b/.ci/build_docs.sh
@@ -12,7 +12,7 @@ LIBADA_DIR="${HOME}/workspace/src/libada"
 # tags. We fix this by deleting and re-cloning the full repository.
 # TODO: Unsure if we still need to do this for Github Actions
 rm -rf ${LIBADA_DIR}
-git clone "git@github.com:${GITHUB_REPOSITORY}.git" ${LIBADA_DIR}
+git clone "https://github.com/${GITHUB_REPOSITORY}.git" ${LIBADA_DIR}
 
 # Organize into "gh-pages" directory
 mkdir -p ${GITHUB_WORKSPACE}/gh-pages