Migrate Jenkins isotesters to the new location of test-suite-shared-secrets.git
tails::jenkins::slave::iso_tester still points to the obsolete repo at immerda. This means that isotesters won't pick up new changes pushed to the new location at GitLab. I've spotted this because I was actually going to deploy one such change for tails#16856 (closed), so this blocks other work of mine.
I think we need to:
set up a
role-jenkins-isotesterGitLab account + corresponding email alias
$root_ssh_pubkey_namepubkey to that GitLab account, i.e.
keydir/isotester*.pubin our immerda Gitolite config
role-jenkins-isotesterread-only access to that repo
- deploy to isotesters
- verify that the remote URL is updated on isotesters
- delete the repo hosted at immerda, so that anyone still using it notices their config is outdated next time they fetch it