Skip to content

Conversation

@Lestropie
Copy link
Member

Creating PRs for any branches that I find in the repo that have commits ahead of dev or master.

For this one I find the current message misleading. It's not that the issue will leave temporary files behind; it's that it would were the command to not error out at that point.

@Lestropie Lestropie requested a review from a team August 27, 2025 00:07
@Lestropie Lestropie self-assigned this Aug 27, 2025
@jdtournier jdtournier added this pull request to the merge queue Sep 18, 2025
Merged via the queue into master with commit 4691c9d Sep 18, 2025
5 checks passed
@jdtournier jdtournier deleted the output_pipe_error_message branch September 18, 2025 13:44
@jdtournier jdtournier mentioned this pull request Oct 20, 2025
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