From 3ac22cd1816f19d47ebb7e801ee723129c6e7a30 Mon Sep 17 00:00:00 2001
From: Denis Arrivault <denis.arrivault@lif.univ-mrs.fr>
Date: Wed, 18 Jul 2018 16:43:55 +0200
Subject: [PATCH] Correction of the git command to get url

---
 build.gradle | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/build.gradle b/build.gradle
index 8b61874..968301e 100644
--- a/build.gradle
+++ b/build.gradle
@@ -62,9 +62,7 @@ task formatIndex(type: Copy) {
   into '.'
   rename { String fileName -> fileName.replace("index_template.html", "index.html")}
   // Substitute property references in files
-  def remote = "git rev-parse --abbrev-ref --symbolic-full-name @{u}".execute().text.trim().split('/')[0]
-  println(remote)
-  def url = "git remote get-url $remote".execute().text.trim()
+  def url = "git config --get remote.origin.url".execute().text.trim()
   println(url)
   if(url.contains("github.com")){
 	project.ext."pageurl" = "https://darrivau.github.io/Testproject"
-- 
GitLab