easier git checkout, setting push.default due to git update