push remote branches

publish

 #!/usr/bin/env bash
 
 push_remote () {
-	git push -f $1 $1:master
+	git push -f $1 origin/$1:master
 }
 
 push_remote lab01