From f068c529d56e00c69f6b380ba254d4e3550fc43b Mon Sep 17 00:00:00 2001
From: Marcin Grzejszczak <marcin@grzejszczak.pl>
Date: Fri, 28 Jun 2019 13:47:02 +0200
Subject: [PATCH] More debugging

---
 docs/src/main/asciidoc/ghpages.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/src/main/asciidoc/ghpages.sh b/docs/src/main/asciidoc/ghpages.sh
index 02300a66..51001978 100755
--- a/docs/src/main/asciidoc/ghpages.sh
+++ b/docs/src/main/asciidoc/ghpages.sh
@@ -42,6 +42,11 @@ function add_oauth_token_to_remote_url() {
     local remote
     remote="$( "${GIT_BIN}" config remote.origin.url | sed -e 's/^git:/https:/' )"
     echo "Current remote [${remote}]"
+    if [[ ${remote} != *".git" ]]; then
+        echo "Remote doesn't end with [.git]"
+        remote="${remote}.git"
+        echo "Remote with [.git] suffix: [${remote}]"
+    fi
     if [[ "${RELEASER_GIT_OAUTH_TOKEN}" != "" && ${remote} != *"@"* ]]; then
         withToken=${remote/https:\/\//https://${RELEASER_GIT_OAUTH_TOKEN}@}
         echo "OAuth token found. Will reuse it to push the code to [${withToken}]"