script to make git pull --rebase short