From df395cdbd0c09a993082db90b7f735144d478c88 Mon Sep 17 00:00:00 2001
From: Jelte Fennema <github-tech@jeltef.nl>
Date: Thu, 9 Jul 2020 16:11:27 +0200
Subject: [PATCH] Change anchor tag to what github generates

---
 ci/ci_helpers.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/ci_helpers.sh b/ci/ci_helpers.sh
index aa74c7b1b..8db37d305 100644
--- a/ci/ci_helpers.sh
+++ b/ci/ci_helpers.sh
@@ -22,7 +22,7 @@ hint_on_fail() {
     exit_code=$?
     # Get filename of the currently running script
     # Source: https://stackoverflow.com/a/192337/2570866
-    filename=$(basename "$0")
+    filename=$(basename "$0" | sed 's/\.sh$/sh/g')
     directory=$(dirname "$0")
     if [ $exit_code != 0 ]; then
         echo "HINT: To solve this failure look here: https://github.com/citusdata/citus/blob/master/$directory/README.md#$filename"