#248 fix: find-replace dead link

docs/explanations/service-infrastructure.md

@@ -143,7 +143,7 @@ It bears repeating that the *common case* will be for services to have a single
 ## Delivery team user accounts and groups
 
 Although not termed a "product" in the configuration *per se*, the
-[gcp-workspace-management](https://gitlab.developers.cam.ac.uk/uis/devops/workspace-management/gcp-workspace-management)
+[gcp-workspace-management](https://gitlab.developers.cam.ac.uk/uis/devops/infra/gcp-workspace-management)
 repository has the concept of mapping a name to a group of user accounts. These names are usually
 aligned with delivery teams rather than services but, as a name mapping to a set of service
 infrastructure resources managed by IaC, it matches our working definition of "product".