Avoid Git's warning on push
Incremental search + GitX shortcut