Added missing prints of newline.
Use short SHA1 hashes in logging.
Implemented updates of git repositories (hack, but works).