better tagging and push the tags

src/release.ts

@@ -57,13 +57,17 @@ console.log('tagging release:', pkgVersion.format(), release, newVersion.format(
     await fs.promises.writeFile(pkgFilename, JSON.stringify(env.pkg, null, 2), "utf-8");
 
     /*
-     * Commit package.json, tag the repo for release, and push to develop on
+     * Commit package.json and push to develop on origin.
-     * origin.
      */
     await simpleGit.commit(`releasing ${releaseTag} to master`, pkgFilename);
-    await simpleGit.addTag(releaseTag);
     await simpleGit.push("origin", "develop");
 
+    /*
+     * Tag the repo for this versioned release.
+     */
+    await simpleGit.addTag(releaseTag);
+    await simpleGit.pushTags();
+
     /*
      * Switch to master, integrate changes from develop, and push.
      */