From 28c312d28c752561326307695fc44d26236dcd49 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= <berykubik@gmail.com>
Date: Fri, 21 Nov 2025 12:39:39 +0100
Subject: [PATCH] Use more qualified git ref when pushing branch to josh

---
 src/sync.rs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/sync.rs b/src/sync.rs
index 0f12f99..ea64c1a 100644
--- a/src/sync.rs
+++ b/src/sync.rs
@@ -321,7 +321,12 @@ After you fix the conflicts, `git add` the changes and run `git merge --continue
         // Do the actual push from the subtree git repo
         println!("Pushing changes...");
         run_command(
-            &["git", "push", &josh_url, &format!("HEAD:{branch}")],
+            &[
+                "git",
+                "push",
+                &josh_url,
+                &format!("HEAD:refs/heads/{branch}"),
+            ],
             self.verbose,
         )?;
         println!();