update /home with new colleagues keys
- aibrahim
- dschmeckpeper
- iakramov
- jstojanow
- lfesefeldt
- mlienau
- scampese
- sexternbrink
- tabel
- tlunet
changed milestone to %Update-Jan2023
added tech-maintenance label
changed the description
created merge request !168 (merged) to address this issue
mentioned in merge request !168 (merged)
marked the checklist item mlienau as completed
marked the checklist item lfesefeldt as completed
marked the checklist item tabel as completed
marked the checklist item iakramov as completed
changed the description
closed with merge request !168 (merged)
mentioned in commit 1cd0ebd6