diff options
| -rwxr-xr-x | update_jdn.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index e4cb5577..245fbdad 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -75,7 +75,7 @@ user_host_groups['mattia','*']="$sudo_groups" user_host_groups['mattia','jenkins']="reproducible,${user_host_groups['mattia','*']}" user_host_groups['phil','jenkins-test-vm']="$sudo_groups,libvirt,libvirt-qemu" user_host_groups['phil','profitbricks-build10-amd64']="$sudo_groups" -user_host_groups['phil','jenkins']='' +user_host_groups['phil','jenkins']="$sudo_groups" user_host_groups['lunar','jenkins']='reproducible' |