More changes for using non-login shells; for head pushes, use --abbrev-commit.