diff options
| author | hiromipaw <hiro@torproject.org> | 2017-09-01 18:12:30 +0200 |
|---|---|---|
| committer | hiromipaw <hiro@torproject.org> | 2017-09-01 18:12:30 +0200 |
| commit | ef03aa3f8ece80c8a7539c131efc4359eccf018c (patch) | |
| tree | 2cf4abf654509c5826ede87098b4af2202d3f8a0 /.gitlab-ci.yml | |
| parent | 40288fd7728989aea96cd9f68986ab68fdb1b05d (diff) | |
| download | tor-ef03aa3f8ece80c8a7539c131efc4359eccf018c.tar.gz tor-ef03aa3f8ece80c8a7539c131efc4359eccf018c.zip | |
Modify gitlab-ci for mirroring
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 45e3052e40..ef28471549 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -30,11 +30,9 @@ build: update: script: - echo "merging from torgit" - - git clone git@oniongit.eu:hiro/tor.git - - "cd tor" - - git remote add upstream https://git.torproject.org/tor.git + - git clone --bare https://git.torproject.org/tor.git + - "cd tor" - git checkout master - git config --global user.email "labadmin@oniongit.eu" - git config --global user.name "gitadmin" - - git pull -Xtheirs upstream master - - git push origin master + - git push --mirror git@oniongit.eu:hiro/tor.git |