Thanks for the reply, then it should be equivalent. I would suggest to add a comment in this regards to the new logic, to make it clear for eventual future changes. Lets wait a few more days for other comments before merging.

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