Hacker News new | ask | show | jobs
by chociej 1307 days ago
IMO push is quite coherent since it consistently updates remote refs. The variation in checkout is pretty bad though.
1 comments

The 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.