From 1d0ea00ee8bc3f4393ff7a319ffa90f83b7c36ba Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Thu, 8 May 2025 14:26:08 -0400
Subject: Fix CI check in .envrc

Doh. Can't believe I let this go for so long, what a dumb mistake.
---
 .envrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.envrc b/.envrc
index e3c1907..5e459bb 100644
--- a/.envrc
+++ b/.envrc
@@ -58,7 +58,7 @@
   git config --local alias.live "push origin HEAD:live"
 #
 # end here if we are in CI
-  [[ -n "CI" ]] && exit 0
+  [[ -n "${CI}" ]] && exit 0
 #
 # create third-party tags
   [[ -L "$CODEROOT"/_/src/.ctags.d ]] || ln -s "$CODEROOT"/.ctags.d "$CODEROOT"/_/src/.ctags.d
-- 
cgit v1.2.3