Closed DilumAluthge closed 2 months ago
This will be registered in https://github.com/JuliaRegistries/General/pull/108941
This will be deployed on General on https://github.com/JuliaRegistries/General/pull/108943
Thanks @DilumAluthge
Of course! Thanks for reporting the bug.
Fixes #562
The basic idea of this PR is to take something out of the "exception" domain and move it into the "guideline failure" domain. This allows us to surface the underlying error back up to the user (in the form of the AutoMerge comment).