From 0396bf1da95d6ea33a380872ca647df67f222e6c Mon Sep 17 00:00:00 2001
From: Amitesh Singh <singh.amitesh@gmail.com>
Date: Fri, 29 Jan 2021 21:06:21 +0530
Subject: [PATCH] fix compilation for non github users

ssh git cloning requires ssh key. Allow non github users to compile the
code
---
 docs/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt
index 0b3e638..4d0ee36 100644
--- a/docs/CMakeLists.txt
+++ b/docs/CMakeLists.txt
@@ -26,7 +26,7 @@ if(PICO_BUILD_DOCS)
         add_custom_target(doc-pico-examples)
     else()
         ExternalProject_Add(doc-pico-examples
-                GIT_REPOSITORY    git@github.com:raspberrypi/pico-examples.git
+                GIT_REPOSITORY    https://github.com/raspberrypi/pico-examples
                 GIT_TAG           master
                 CONFIGURE_COMMAND ""
                 BUILD_COMMAND ""