I deleted a branch with :
git branch -d branch_name
And I pushed, but when I list the branches with :
git branch -avv
I see that the branch is always present with the name remotes/origin/branch_name.
How can I delete the branch from there?
I deleted a branch with :
git branch -d branch_name
And I pushed, but when I list the branches with :
git branch -avv
I see that the branch is always present with the name remotes/origin/branch_name.
How can I delete the branch from there?
When you delete a branch with git branch -d branch_name you just delete the local one. Push will not affect the status of the remote, so origin/branch_name will remain. If you want to delete it you should do git push <remote_name> --delete <branch_name> as explained in the post suggested as duplicate.
When someone else delete a branch in the remote (origin) a ref to it will be present in your local repository, so after a pull or fetch you will still see origin/branch_name. To delete this ref you have to fetch with --prune.
git fetch --prune
If you want you can also combine it inside the pull command.
git pull --prune