(git-tools) Added savepid to git-tools.