style fix in git-ppr.sh