Add git push shortcut
Add number formats setting