chore: update lab allocator users (!304) · Merge requests · Information Services / DevOps / General Documentation / DevOps Division Guidebook · GitLab

FAQ | This is a LIVE service | Changelog

E. Kirk requested to merge remove-db947 into master Apr 24, 2024

Relates to https://gitlab.developers.cam.ac.uk/uis/devops/admin/-/issues/323