Posts

Showing posts from May, 2017

GIT Useful tips

GIT Commands: Renaming Branch: ** Rename branch locally to the new name      git branch -m old_branch_name new_branch_name ** Delete the old branch on remote. Where <remote> is like origin      git push <remote> :old_name      Eg: git push origin :old_branch ** Push the new branch to remote              git push --set-upstream <remote> new_name     Eg: git push --set-upstream origin new_branch -------------------------------------------------------------------------------------------------------------------- GIT Push issues: Symptoms : While pushing the file to GIT repository, facing issues like "insufficient permissions" while using  "git push" command with below errors. Counting objects: 3, done. Delta compression using up to 8 threads. Compressing objects: 100% (2/2), done. Writing objects: 100% (3/3), 312 bytes | 0 bytes/s, done. Total...