3 ms·
sure, but that 30s timer is an incredibly useful feature, when you misclick, when your cat walks on your keyboard, when you remember that you forgot $RANDOM_THI
by jcelerier 6y ago
sure, but that 30s timer is an incredibly useful feature, when you misclick, when your cat walks on your keyboard, when you remember that you forgot $RANDOM_THING, etc etc
- ric2b 6y agoSure, and git could have an option to add a timer as well, but I don't think people notice git push mistakes as quickly as they do with e-mails.