Skip to content

Add additional docs to PR environments#897

Merged
lorenyu merged 1 commit intomainfrom
lorenyu/docprenvs
Mar 12, 2025
Merged

Add additional docs to PR environments#897
lorenyu merged 1 commit intomainfrom
lorenyu/docprenvs

Conversation

@lorenyu
Copy link
Copy Markdown
Contributor

@lorenyu lorenyu commented Mar 10, 2025

Add some additional explanation that might be helpful. This came up when discussing PR environments with a team that's using them so I thought it'd be useful to add it to the docs.

@lorenyu lorenyu merged commit 95e8812 into main Mar 12, 2025
@lorenyu lorenyu deleted the lorenyu/docprenvs branch March 12, 2025 18:17
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.

1 participant