Learn more about these different git repos.
Other Git URLs
d1778ba
common: scripts should log also timestamps etc when logging into file