Push back to GitLab so GitHub can be the read-only mirror

Switch sync-git to push to gitlab.com using GITLAB_TOKEN. GitHub is
now updated via a GitLab push mirror instead of being the CI's direct
push target.

diff --git a/scripts/sync-git b/scripts/sync-git
index 11f15eef8de2ea187da871c481bd81bb23d4ac59..9f1760fc91f86c1ef2d453c52c253fc3e5eddd90 100755 (executable)
--- a/scripts/sync-git
+++ b/scripts/sync-git
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-GIT_REMOTE="https://${GITHUB_TOKEN}@github.com/olbat/ut1-blacklists"
+GIT_REMOTE="https://oauth2:${GITLAB_TOKEN}@gitlab.com/olbat/ut1-blacklists"
 GIT_BRANCH="master"
 
 set -euxo pipefail