From 5d1e6a4b9e6b5c708e68d1fad136b7f080d4518c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joan=20Vallv=C3=A9=20Navarro?= <jvallve@iri.upc.edu>
Date: Fri, 19 Nov 2021 16:21:21 +0100
Subject: [PATCH] Update .gitlab-ci.yml file
---
.gitlab-ci.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4429d27f3..a396d7956 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -29,7 +29,7 @@
- echo "Creating new file wolf_scripts/license_header_${LICENSE_HEADER_YEAR_NEW}.txt..."
- cd wolf_scripts
- cp license_header_${LICENSE_HEADER_YEAR}.txt license_header_${LICENSE_HEADER_YEAR_NEW}.txt
- - sed -e "s/${LICENSE_HEADER_YEAR}/'${LICENSE_HEADER_YEAR},${LICENSE_HEADER_YEAR_NEW}'/g" license_header_${LICENSE_HEADER_YEAR_NEW}.txt
+ - sed -i "s/${LICENSE_HEADER_YEAR}/${LICENSE_HEADER_YEAR},${LICENSE_HEADER_YEAR_NEW}/g" license_header_${LICENSE_HEADER_YEAR_NEW}.txt
- git add license_header_${LICENSE_HEADER_YEAR_NEW}.txt
- ./license_manager.sh --update --path=.. --license-header=license_header_${LICENSE_HEADER_YEAR_NEW}.txt
# ADD: add license headers
@@ -42,7 +42,7 @@
# push changes (if any)
- git config --global user.email "${CI_EMAIL}"
- git config --global user.name "${CI_USERNAME}"
- - if git commit -u -m "license headers added or modified" ; then
+ - if git commit -u -m "[skip ci] license headers added or modified" ; then
- git remote set-url --push origin "ssh://git@gitlab.iri.upc.edu:2202/${CI_PROJECT_PATH}.git"
- git push origin HEAD:${CI_COMMIT_REF_NAME}
- else
--
GitLab