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...