mirror of
https://gitlab.torproject.org/tpo/core/tor.git
synced 2024-11-10 05:03:43 +01:00
Fix yml
This commit is contained in:
parent
1e654d1b9d
commit
086a6702c4
@ -12,7 +12,7 @@ build:
|
|||||||
update:
|
update:
|
||||||
script:
|
script:
|
||||||
- "apt-get install -y --fix-missing git openssh-client"
|
- "apt-get install -y --fix-missing git openssh-client"
|
||||||
-
|
|
||||||
# Run ssh-agent (inside the build environment)
|
# Run ssh-agent (inside the build environment)
|
||||||
- eval $(ssh-agent -s)
|
- eval $(ssh-agent -s)
|
||||||
|
|
||||||
@ -31,10 +31,9 @@ update:
|
|||||||
- mkdir -p ~/.ssh
|
- mkdir -p ~/.ssh
|
||||||
- '[[ -f /.dockerenv ]] && echo "$SSH_SERVER_HOSTKEYS" > ~/.ssh/known_hosts'
|
- '[[ -f /.dockerenv ]] && echo "$SSH_SERVER_HOSTKEYS" > ~/.ssh/known_hosts'
|
||||||
- echo "merging from torgit"
|
- echo "merging from torgit"
|
||||||
- "cd tor"
|
|
||||||
- "mkdir tor"
|
|
||||||
- git clone --bare https://git.torproject.org/tor.git
|
|
||||||
- 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"
|
||||||
|
- "mkdir tor"
|
||||||
|
- "cd tor"
|
||||||
|
- git clone --bare https://git.torproject.org/tor.git
|
||||||
- git push --mirror git@oniongit.eu:hiro/tor.git
|
- git push --mirror git@oniongit.eu:hiro/tor.git
|
Loading…
Reference in New Issue
Block a user