Skip to content
Snippets Groups Projects

Resolve "Wolf license"

Merged Joan Vallvé Navarro requested to merge 198-wolf-license into devel
1 file
+ 2
5
Compare changes
  • Side-by-side
  • Inline
+ 2
5
@@ -51,11 +51,8 @@ license_header:
- git add -f prova.txt
- git commit -m "added prova.txt" || echo "No changes, nothing to commit!"
# we need to extract the ssh/git URL as the runner uses a tokenized URL
- export CI_PUSH_REPO=`echo ssh://$CI_REPOSITORY_URL | perl -pe 's#.*@(.+?(\:\d+)?)/#git@\1:#'`
- echo "$CI_PUSH_REPO"
- git remote set-url --push origin $CI_PUSH_REPO
#- git remote set-url --push origin ssh://git@gitlab.iri.upc.edu:2202/mobile_robotics/wolf_projects/wolf_lib/wolf.git
- echo ${CI_PROJECT_PATH}
- git remote set-url --push origin "ssh://git@gitlab.iri.upc.edu:2202${CI_PROJECT_PATH}.git"
- echo "$CI_COMMIT_REF_NAME"
# push changes
# always return true so that the build does not fail if there are no changes
Loading