Update github/server/src/variety/basic.rs

lzrd · jclulow · web-flow · commit 12b4c937f93f · 2025-12-10T09:38:56.000-08:00
Co-authored-by: Joshua M. Clulow &lt;jmc@oxide.computer&gt;
diff --git a/github/server/src/variety/basic.rs b/github/server/src/variety/basic.rs
@@ -682,7 +682,7 @@ pub(crate) async fn run(
         tb.env("GITHUB_SHA", &cs.head_sha);
         if let Some(branch) = cs.head_branch.as_deref() {
             tb.env("GITHUB_BRANCH", branch);
-            tb.env("GITHUB_REF", format!("refs/heads/{}", branch));
+            tb.env("GITHUB_REF", format!("refs/heads/{branch}"));
         }
 
         let app0 = app.clone();

Original file line number	Diff line number	Diff line change
`@@ -682,7 +682,7 @@ pub(crate) async fn run(`
`682`	`682`	`tb.env("GITHUB_SHA", &cs.head_sha);`
`683`	`683`	`if let Some(branch) = cs.head_branch.as_deref() {`
`684`	`684`	`tb.env("GITHUB_BRANCH", branch);`
`685`		`- tb.env("GITHUB_REF", format!("refs/heads/{}", branch));`
	`685`	`+ tb.env("GITHUB_REF", format!("refs/heads/{branch}"));`
`686`	`686`	`}`
`687`	`687`
`688`	`688`	`let app0 = app.clone();`