Saturday, 20 June 2015
Friday, 19 June 2015
Git: Rename Branch for Both Local and Remote Repositories
git branch -m old_branch new_branch # Rename branch locally
git push origin :old_branch # Delete the old branch
git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote
source: http://stackoverflow.com/questions/1526794/rename-master-branch-for-both-local-and-remote-git-repositories?answertab=votes#tab-top
git push origin :old_branch # Delete the old branch
git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote
source: http://stackoverflow.com/questions/1526794/rename-master-branch-for-both-local-and-remote-git-repositories?answertab=votes#tab-top
Git: Completely Undo Previous Commit
git reset --hard HEAD~1
(F) A-B-C ↑ master
becomes: (F)
A-B
↑
master
source: http://stackoverflow.com/questions/927358/how-to-undo-the-last-commit
Git: Deleting Local/Remote Branch
To delete a local branch
source: http://makandracards.com/makandra/621-git-delete-a-branch-local-or-remote
git branch -d the_local_branch
To remove a remote branch git push origin :the_remote_branch
source: http://makandracards.com/makandra/621-git-delete-a-branch-local-or-remote
Thursday, 18 June 2015
Wednesday, 17 June 2015
Tuesday, 16 June 2015
Monday, 15 June 2015
Sunday, 14 June 2015
Saturday, 13 June 2015
Friday, 12 June 2015
Thursday, 11 June 2015
Wednesday, 10 June 2015
Tuesday, 9 June 2015
Monday, 8 June 2015
Sunday, 7 June 2015
Saturday, 6 June 2015
Friday, 5 June 2015
Thursday, 4 June 2015
Wednesday, 3 June 2015
Tuesday, 2 June 2015
Monday, 1 June 2015
Subscribe to:
Posts (Atom)