git-wad

commit e65a9b161a604dd763faa4c3a47a21b60deb450f
parent 5fb37d40f7ba3b3f71502a7fcd4bd16d4b29ca01
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Wed,  1 May 2024 16:15:37 +0200

Fixed push command

It was using the "fetch" remote instead of the "push" remote, which led
to errors when the two remotes differed.

Diffstat:
M
git-wad
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/git-wad b/git-wad
@@ -330,7 +330,7 @@ push() # [-1a]
 
   >&2 printf "Pushing to %s\n" "${GIT_WAD_REMOTE_PUSH}"
 
-  remote="${GIT_WAD_REMOTE_FETCH#file://}"
+  remote="${GIT_WAD_REMOTE_PUSH#file://}"
   objects_to_push "$@"  | rsync -av --progress --ignore-existing \
   --files-from=- "${GIT_WAD_OBJDIR}" "${remote}"
 }