simplify bashrc, add simple push to gitconfig