From be878a39c4ac11af30c54d01915f28d294b6486d Mon Sep 17 00:00:00 2001
From: Francesco Abbate <francesco.bbt@gmail.com>
Date: Sun, 7 Mar 2021 09:49:08 +0100
Subject: [PATCH] Add missing function in script run-local

---
 dev-utils/run-local | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/dev-utils/run-local b/dev-utils/run-local
index c26b94bb..2cda7b2c 100755
--- a/dev-utils/run-local
+++ b/dev-utils/run-local
@@ -85,6 +85,10 @@ run_lite () {
   fi
 }
 
+github_raw_content () {
+  echo "https://raw.githubusercontent.com/$1"
+}
+
 fetch_plugins () {
   for name in "$@"; do
     local url="$(github_raw_content "$name")"