Git commands

handy_git_commands.sh

git branch --merged | egrep -v "(^\*|master|develop)" | xargs git branch -d


git reset HEAD^ # remove commit locally
git push origin +HEAD # force-push the new HEAD commits

#Delete a remote GIT branch
# To delete a remote branch you can use the following command:
git push {remote_name} --delete {branch_name}

git update-index --assume-unchanged {file}
git update-index     --skip-worktree {file}


git config --global push.default current