Merge "dev-release: simplify the command for pushing tags"