Skip to content
GitLab
Explore
Sign in
Remove old dei members
Code
Review changes
Check out branch
Download
Patches
Plain diff
HUGO DE SOUSA PEREIRA
requested to merge
remove-old-dei-members
into
master
Oct 04, 2025
Overview
0
Commits
2
Pipelines
1
Changes
1
Expand
Description of changes
Remove
@ist1102082
and
@ist1110813
ssh keys from DEI
Things done
Tested
Updated documentation (Wiki/NetBox)
Breaking change
Merge request reports
Loading