Skip to content
Snippets Groups Projects

Resolve "Wolf license"

Merged Joan Vallvé Navarro requested to merge 198-wolf-license into devel
1 file
+ 1
1
Compare changes
  • Side-by-side
  • Inline
+ 1
1
@@ -71,7 +71,7 @@ license_header:
# we need to extract the ssh/git URL as the runner uses a tokenized URL
- export CI_PUSH_REPO=`echo $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 git@gitlab.iri.upc.edu:2202/mobile_robotics/wolf_projects/wolf_lib/wolf.git
- echo "$CI_COMMIT_REF_NAME"
# push changes
# always return true so that the build does not fail if there are no changes
Loading