@xiota Either name for the preference is fine by me.

Personally I am not in favour of #2863, its a strange use-case works as intended, even if erring on the safe if annoying side, so no it shouldn't be added here.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.