2 ms·
IMO push is quite coherent since it consistently updates remote refs. The variation in checkout is pretty bad though.
by chociej 4y ago
IMO push is quite coherent since it consistently updates remote refs. The variation in checkout is pretty bad though.
- 988747 4y agoThe perfect command for deleting remote tag would be "tag -d(elete) -r(emote) <tag>" The existence of "remote refs" is an implementation detail, and git bothers you with it unnecessarily. And if you really need a command to update all remote refs at once why not call it "git sync-refs"? The fact that you use "push" command to delete something is confusing as hell.