dev-release: simplify the command for pushing tags

This is also a less error-prone variant as the same tag name doesn't
have to be repeated twice.

Change-Id: I3b4ab97ef03b7ac4d2044e887fcdd9b0898a8549
1 file changed