Merge remote-tracking branch 'tor-github/pr/1716/head' into maint-0.4.3

2 files changed, 3 insertions, 30 deletions

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d2d0d55dd4..402c7646c0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -13,33 +13,3 @@ build:
     - make check || (e=$?; cat test-suite.log; exit $e)
     - make install
 
-update:
-  only:
-    - schedules
-  script: 
-    - "apt-get install -y --fix-missing git openssh-client"
-    
-    # Run ssh-agent (inside the build environment)
-    - eval $(ssh-agent -s)
-
-    # Add the SSH key stored in SSH_PRIVATE_KEY variable to the agent store
-    - ssh-add <(echo "$DEPLOY_KEY")
-
-    # For Docker builds disable host key checking. Be aware that by adding that
-    # you are susceptible to man-in-the-middle attacks.
-    # WARNING: Use this only with the Docker executor, if you use it with shell
-    # you will overwrite your user's SSH config.
-    - mkdir -p ~/.ssh
-    - '[[ -f /.dockerenv ]] && echo -e "Host *\n\tStrictHostKeyChecking no\n\n" > ~/.ssh/config'
-    # In order to properly check the server's host key, assuming you created the
-    # SSH_SERVER_HOSTKEYS variable previously, uncomment the following two lines
-    # instead.
-    - mkdir -p ~/.ssh
-    - '[[ -f /.dockerenv ]] && echo "$SSH_SERVER_HOSTKEYS" > ~/.ssh/known_hosts'
-    - echo "merging from torgit"
-    - git config --global user.email "labadmin@oniongit.eu"
-    - 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:network/tor.git
diff --git a/changes/ticket33213 b/changes/ticket33213
new file mode 100644
index 0000000000..f1da591bd1
--- /dev/null
+++ b/changes/ticket33213
@@ -0,0 +1,3 @@
+  o Minor bugfixes (continuous integration):
+    - Remove the buggy and unused mirroring job.  Fixes bug 33213;
+      bugfix on 0.3.2.2-alpha.