git config --global push.default simple
makes $HOME/bin precedent in $PATH