Merged pull request for fix in push subcmd
This tag has no release notes.