git-shell-verify: synchronize settings with shlib.sh