I don't think we should burninate these tags. pull and push describe specific actions that you take in version control and tags exist to make questions easier to find. VCS is a pretty big topic without support tags. Remember, there's at least 4 VCS systems with questions that use this tag
Trying to hyphenate them all will result in chaos. git is the most popular and I would argue that git-pull and git-push should be made synonyms of their ambiguous cousins(someone else can fight that fight). So if you have a question about a problem with pulling in git, it should be tagged git push, Mercurial should be mercurial push, etc. And the tag should make it obvious push is strictly about VCS, and not things like push-notification
The four rules of burnination say to keep it
Does it describe the contents of the questions to which it is applied? and is it unambiguous?
We should limit the scope of the tag to just VCS and retag anything else. The tag doesn't do a good job of limit itself, but an edit can fix that.
Is the concept described even on-topic for the site?
Yes
Does the tag add any meaningful information to the post?
Yes. These are actions related to VCS
Does it mean the same thing in all common contexts?
No. This is the one failure of this tag. Being generic, people apply it anywhere they see fit. But if they ignore the stated purpose of the tag that's why we edit (and anyone can edit)