Don't exit the release script if there are uncommitted changes (#19088)

This commit is contained in:
Andrew Morgan 2025-10-24 11:39:06 +02:00 committed by GitHub
parent 5556b491c1
commit 72d0de9f30
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

1
changelog.d/19088.misc Normal file
View File

@ -0,0 +1 @@
Don't immediately exit the release script if the checkout is dirty. Instead, allow the user to clear the dirty changes and retry.