Change indentation length
Make simple push by default
Fix git core.editor config