Skip to content
Snippets Groups Projects

Resolve "Wolf license"

Merged Joan Vallvé Navarro requested to merge 198-wolf-license into devel
1 file
+ 1
2
Compare changes
  • Side-by-side
  • Inline
+ 1
2
@@ -42,8 +42,7 @@
# push changes (if any)
- git config --global user.email "${CI_EMAIL}"
- git config --global user.name "${CI_USERNAME}"
- git add *.c *.h *.cpp *.hpp
- if git commit -m "license headers added or modified" ; then
- if git commit -u -m "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
Loading