Warning: push.default is unset; its implicit value is changing in Git 2.0