git tags need to be pushed

Change-Id: I763df339e36348369d1ead5de710339d39ad2800

gz3d/utils/Gruntfile.js

@@ -121,7 +121,8 @@ module.exports = function(grunt) {
         options: {
           verbose: true, // for debug purpose
           remote: 'origin',
-          branch: 'HEAD:<%= gerritBranch %>'
+          branch: 'HEAD:<%= gerritBranch %>',
+          tags: true
         }
       }
     },
@@ -147,10 +148,10 @@ module.exports = function(grunt) {
     grunt.log.writeln('[grunt ci:' + target + '] GERRIT_BRANCH is: ' + branch);
     if (target === 'patch' || target === 'minor' || target === 'major') {
       tasks.unshift('bump:' + target);
+      tasks.push('gittag:dist');
       tasks.push('gitadd:bump');
       tasks.push('gitcommit:bump');
       tasks.push('gitpush:bump');
-      tasks.push('gittag:dist');
     }
     grunt.task.run(tasks);
   });