3 ms·
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!
by dmitriv 5mo ago
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!