From c9d3d0bbc500c43a01b8c20e229199c7e7555d74 Mon Sep 17 00:00:00 2001
From: Antonin Portelli <antonin.portelli@me.com>
Date: Fri, 27 Jan 2023 12:47:05 +0000
Subject: [PATCH] JSON URL fix

---
 Grid/bootstrap.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Grid/bootstrap.sh b/Grid/bootstrap.sh
index 62796f8..ad5a273 100755
--- a/Grid/bootstrap.sh
+++ b/Grid/bootstrap.sh
@@ -2,7 +2,7 @@
 
 set -euo pipefail
 
-json_url='https://github.com/nlohmann/json/blob/bc889afb4c5bf1c0d8ee29ef35eaaf4c8bef8a5d/single_include/nlohmann/json.hpp'
+json_url='https://raw.githubusercontent.com/nlohmann/json/bc889afb4c5bf1c0d8ee29ef35eaaf4c8bef8a5d/single_include/nlohmann/json.hpp'
 
 if [ ! -f json.hpp ]; then
   wget ${json_url}