diff --git a/publish b/publish index 6dd474fa6a8d1dddca7aa836f02d7c9fe0ea8727..cff1e065b22dfe6b0eee867047721969a45ccc9a 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