From 0577580b36e87f0d6a8672c00dc91825087b88be Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20Ko=C5=BEusznik?= <jan@kozusznik.cz>
Date: Tue, 21 Sep 2021 22:59:30 +0200
Subject: [PATCH] push remote branches
---
publish | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/publish b/publish
index 6dd474f..cff1e06 100755
--- a/publish
+++ b/publish
@@ -1,7 +1,7 @@
#!/usr/bin/env bash
push_remote () {
- git push -f $1 $1:master
+ git push -f $1 origin/$1:master
}
push_remote lab01
--
GitLab