I am not able to get when we delete a branch after merging in Github. Why does it still present in our local machine as remote/origin/:branch_name after git pull? Is it a bug or there is a specific reason behind this.
Asked
Active
Viewed 59 times
0
-
No, actually I want to know the logic behind this. – Kevin Martin Jul 24 '21 at 13:49
-
1@KevinMartin Suppose you and I clone the same repository. I then remove the branch in github repository. Wouldn't it be scary for you that the branch in your local repository is gone without your knowing or approving? – ElpieKay Jul 24 '21 at 13:55
-
The logic is quite nicely explained in the answer of the duplicate. – jessehouwing Jul 24 '21 at 16:59
-
1Got it. Thanks a lot for helping me to understand this @jessehouwing. – Kevin Martin Jul 31 '21 at 10:06