Jamie Arthur
Results
1
comments of
Jamie Arthur
I agree that the default behaviour for this is unexpected, and possibly even dangerous. Pull requests being marked as closed instead of merged is one thing, but I don't want...