added gitconfig alias; updated push.default