Changed git push to simple and added default pager setting. Changed
indentation.