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")"