Please sign in to comment.
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
don't apply the spell check on all the file if no changes (#4031)
Before that: $time git commit --amend 2> log real 7m19.811s user 49m14.012s sys 0m16.668s $ls -lh log -rw-rw-r-- 1 sbrunner sbrunner 1,8M janv. 20 14:05 log
- Loading branch information
Showing with 6 additions and 1 deletion.