#1297: Added a bit more trace logging for git push/pull and git-server