Commit eb677631 authored by Laura, Jason R's avatar Laura, Jason R
Browse files

Fixes repo name

parent 615c7646
Loading
Loading
Loading
Loading
+3 −3
Original line number Diff line number Diff line
@@ -17,9 +17,9 @@ clone_github:
    script:
        - echo $SOURCE_REPOSITORY
        - git config --global http.sslVerify false # Epic....
        - rm -rf swigcsm  # Needed to allow multiple CI runs
        - git clone --mirror $SOURCE_REPOSITORY swigcsm
        - cd swigcsm
        - rm -rf planetary-sdi  # Needed to allow multiple CI runs
        - git clone --mirror $SOURCE_REPOSITORY planetary-sdi
        - cd planetary-sdi
        - git remote remove origin
        - git remote add origin $DESTINATION_REPOSITORY
        - git push -f --prune --all