What do you want to save?
Add Code snippet
New code examples
-
Shell/Bash 2022-01-31 11:00:25
rename a branch alredy pushed
1. Verify the local branch has the correct name: git branch -a 2. Next, delete the branch with the old name on the remote repository: git push origin ––delete old-name 3. Finally, push the branch with the correct name, and reset the upstream... Add solution -
-
Shell/Bash 2022-01-22 08:01:59
Como excluir uma tag remota
git push origin :refs/tags/tagname Add solution -
TypeScript 2021-11-16 12:25:18
pull rewuests in local project
git push origin some-branch Add solution -
Shell/Bash 2021-11-15 23:15:14
update branch with master
git checkout master git pull git checkout mybranch git merge master # to keep mybranch in sync with master # then when you're ready to put mobiledevicesupport into master, first merge in master like above, then ... git checkout master git merge mybran... Add solution