Make the git-internal and git-external targets a bit more verbose, so you
know they actually worked!