Skip to content

Commit b97069c

Browse files
committed
Incorporating review feedback.
1 parent 07ab009 commit b97069c

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

articles/dev-box/how-to-manage-dev-box-pools.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,14 +6,14 @@ services: dev-box
66
ms.service: dev-box
77
author: RoseHJM
88
ms.author: rosemalcolm
9-
ms.date: 08/30/2022
9+
ms.date: 09/16/2022
1010
ms.topic: how-to
1111
---
1212

1313
<!-- Intent: As a dev infrastructure manager, I want to be able to manage dev box pools so that I can provide appropriate dev boxes to my users. -->
1414

1515
# Manage a dev box pool
16-
To enable developers to self-serve dev boxes from projects, you must configure dev box pools that specify the dev box definitions and network connections used when dev boxes are created. Dev box users create dev boxes using the dev box pool.
16+
To enable developers to self-serve dev boxes from projects, you must configure dev box pools that specify the dev box definitions and network connections used when dev boxes are created. Dev box users create dev boxes from the dev box pools they have access to through their project memberships.
1717

1818
## Permissions
1919
To manage a dev box pool, you need the following permissions:
@@ -67,7 +67,7 @@ The dev box pool will be deployed and health checks will be run to ensure the im
6767

6868

6969
## Delete a dev box pool
70-
You can delete a dev box pool when you are no longer using it.
70+
You can delete a dev box pool when you're no longer using it.
7171

7272
> [!CAUTION]
7373
> When you delete a dev box pool, all existing dev boxes within the pool will be permanently deleted.

0 commit comments

Comments
 (0)