Commit ce563cc9 authored by Zen Fu's avatar Zen Fu
Browse files

Use correct credentials when pushing from weblate-gatekeeper (gitlab-migration#74)

Pushes from weblate-gatekeeper should be done as the
"role-weblate-gatekeeper" GitLab user, and for that we need to use a
specific SSH key when pushing.

This commit adds a new "Host" in gitolite's SSH config and changes the
remote URL of the gatekeeper repo to use the that new host, thus making
use of the correct key to connect to GitLab.

See: https://salsa.debian.org/tails-team/gitlab-migration/-/issues/74
parent 79e125cf
......@@ -45,7 +45,7 @@ repository_root="${gitolite_root}/repositories"
weblate-gatekeeper.git)
cd "$repository_dir"
git remote | grep -qs -x gitlab || \
git remote add gitlab "git@gitlab.tails.boum.org:tails/tails.git"
git remote add gitlab "git@gitlab-as-role-weblate-gatekeeper:tails/tails.git"
;;
*)
;;
......
Host git.tails.boum.org
User tails
Host gitlab-as-role-weblate-gatekeeper
HostName gitlab-ssh.tails.boum.org
IdentityFile ~/.ssh/id_rsa_role-weblate-gatekeeper
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment