my $str = do { local $/; };
Friday, August 31, 2018
Monday, August 27, 2018
Wednesday, August 1, 2018
git: rename a branch
Source: Rename a local and remote branch in git
Rename local branch.
Rename local branch.
git branch -m new-name
Delete the old-name remote branch and push the new-name local branch.
git push origin :old-name new-name
Reset the upstream branch for the new-name local branch.
git push origin -u new-name
Subscribe to:
Posts (Atom)