mirror of
https://gitlab.torproject.org/tpo/core/tor.git
synced 2024-11-27 22:03:31 +01:00
Update .gitlab-ci.yml
This commit is contained in:
parent
859de8bfeb
commit
7346c93822
@ -23,14 +23,17 @@ before_script:
|
|||||||
# instead.
|
# instead.
|
||||||
- mkdir -p ~/.ssh
|
- mkdir -p ~/.ssh
|
||||||
- '[[ -f /.dockerenv ]] && echo "$SSH_SERVER_HOSTKEYS" > ~/.ssh/known_hosts'
|
- '[[ -f /.dockerenv ]] && echo "$SSH_SERVER_HOSTKEYS" > ~/.ssh/known_hosts'
|
||||||
|
test:
|
||||||
|
script:
|
||||||
|
- "sh autogen.sh && ./configure && make && make install"
|
||||||
|
|
||||||
update:
|
update:
|
||||||
script:
|
script:
|
||||||
- echo "merging from torgit"
|
- echo "merging from torgit"
|
||||||
- git clone git@oniongit.eu:hiro/tor.git
|
- git clone git@oniongit.eu:hiro/tor.git
|
||||||
- "cd tor"
|
- "cd tor"
|
||||||
- git remote add upstream https://git.torproject.org/tor.git
|
- git remote add upstream https://git.torproject.org/tor.git
|
||||||
- git checkout master
|
- git checkout master
|
||||||
- git config --global user.email "labadmin@oniongit.eu"
|
- git config --global user.email "labadmin@oniongit.eu"
|
||||||
- git config --global user.name "gitadmin"
|
- git config --global user.name "gitadmin"
|
||||||
- git pull -Xtheirs upstream master
|
- git pull -Xtheirs upstream master
|
||||||
|
Loading…
Reference in New Issue
Block a user