From c0838cf6ebcfab1b553b06f3b2e6626ac4ed8f10 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Tue, 19 May 2020 18:53:37 +0000
Subject: [PATCH] Update dist file

---
 dist/index.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dist/index.js b/dist/index.js
index a85da5e..da9cbca 100644
--- a/dist/index.js
+++ b/dist/index.js
@@ -2024,7 +2024,8 @@ function main() {
             console.log('No files to update');
             return;
         }
-        console.log(`Pushed ${commitSha} to ${options.branch}`);
+        const shortSha = commitSha.slice(0, 7);
+        console.log(`Pushed ${shortSha} to ${options.branch}`);
     }).catch((err) => {
         core_1.setFailed(err.message);
     });