CI: same fix as previous

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
2019-02-28 17:16:50 +01:00
parent 5fe6bea1ea
commit 5887787734
1 changed files with 1 additions and 1 deletions
@@ -95,7 +95,7 @@ fi

 # Merge request scenario

-MERGE_COMMMIT=`git log -n1 | grep commit | sed -e "s@commit @@"`
+MERGE_COMMMIT=`git log -n1 --pretty=format:%H`
 TARGET_INIT_COMMIT=`cat .git/refs/remotes/origin/$TARGET_BRANCH`

 echo " ---- Checking the modified files by the merge request ----"