Skip to content

infra: document new dev desktops disk quota - #1100

Merged
jackh726 merged 1 commit into
masterfrom
u/dev-desktops-quota-increase
Aug 20, 2026
Merged

infra: document new dev desktops disk quota#1100
jackh726 merged 1 commit into
masterfrom
u/dev-desktops-quota-increase

Conversation

@ubiratansoares

@ubiratansoares ubiratansoares commented Aug 20, 2026

Copy link
Copy Markdown
Contributor

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 20, 2026
@jackh726
jackh726 merged commit abf5671 into master Aug 20, 2026
1 check passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 20, 2026
@jackh726
jackh726 deleted the u/dev-desktops-quota-increase branch August 20, 2026 21:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants