From ee0ff825e4849f7387313ff2821eae68e03816e3 Mon Sep 17 00:00:00 2001
From: Guillaume Martres <smarter@ubuntu.com>
Date: Wed, 24 Feb 2021 13:33:05 +0100
Subject: [PATCH] Updated brew install instructions

This is what's on https://brew.sh currently.
---
 labs/tools-setup.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/labs/tools-setup.md b/labs/tools-setup.md
index 75c6de1..c01836c 100644
--- a/labs/tools-setup.md
+++ b/labs/tools-setup.md
@@ -38,7 +38,7 @@ Please reboot after this point.
 
 First, install the Homebrew package manager:
 ```shell
-/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install.sh)"
+/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
 ```
 Use Homebrew to install coursier:
 ```scala
-- 
GitLab