Skip to content
Snippets Groups Projects

Resolve "Wolf license"

Merged Resolve "Wolf license"
198-wolf-license into devel
Merged Joan Vallvé Navarro requested to merge 198-wolf-license into devel
Viewing commit 5d1e6a4b
Prev Next
Show latest version
1 file
+ 2
− 2
Compare changes
  • Side-by-side
  • Inline
.gitlab-ci.yml
+ 2
− 2
@@ -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