From ce0fadf7769d3c66a8fa5ec665e84359530202dc Mon Sep 17 00:00:00 2001
From: Ross Anderson <ross.anderson87@gmail.com>
Date: Wed, 8 Dec 2021 19:24:52 -0800
Subject: [PATCH] Remove extraneous comment

---
 index.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/index.js b/index.js
index 475f41c..98205a3 100644
--- a/index.js
+++ b/index.js
@@ -181,7 +181,6 @@ const workspace = process.env.GITHUB_WORKSPACE;
         await runInWorkspace('git', ['push', remoteRepo, '--tags']);
       }
     } else {
-      // skip-tag: true, so we push without pushing tags.
       if (process.env['INPUT_SKIP-PUSH'] !== 'true') {
         await runInWorkspace('git', ['push', remoteRepo]);
       }