Is there a way to remove the local branch which is merged and deleted on remote with main/master?
I follow these steps while working with git -
- Create a local branch
- Raise PR
- PR gets merged and the branch is deleted from the remote too
- On local - I switch to master and take a pull
Now the branch is not on remote but it is still on my local. I want to know how other people manage this, do they delete local branches manually every time or is there any other way that I am missing?