Comment by dmitriv

I think this is a good point - perhaps there should be some commit-time UI which would let the user make the choice. Thanks for the suggestion!