Note open question about git-dir placement
Assisted-by: Claude Opus 4.7 via Claude Code
change qnsrqmutnlouyqypunvlnvtlpqyztpvu
commit 76a9df8fa86042895988880abbb972ef5486d718
author Alpha Chen <alpha@kejadlen.dev>
date
parent txontzmm
diff --git a/src/ci/lua.rs b/src/ci/lua.rs
index 5acba22..d65cfb1 100644
--- a/src/ci/lua.rs
+++ b/src/ci/lua.rs
@@ -150,6 +150,9 @@ impl Runtime {
         push.set("ref", meta.r#ref.as_str()).expect("set ref");
         push.set("pushed-at", meta.pushed_at.to_string().as_str())
             .expect("set pushed-at");
+        // `git-dir` is environmental rather than a fact about the push;
+        // it may belong on an ambient context alongside `sh`/`secret`
+        // instead of on this table.
         push.set("git-dir", git_dir.to_string_lossy().as_ref())
             .expect("set git-dir");
         let push_value = push.into_lua(lua).expect("push table to value");