git: Push a local branch to a different remote branchFeb 8 2014 A successful Git branching modelSep 21 2013