Robin Berjon @robinberjon · 24 Apr 2013 Replying to @stommepoes you can always git push $nameOfRemote $nameOfBranch; e.g. git push origin master @hober
