3 Commits

Include renames

Author	SHA1	Message	Date
Rohit Gupta	86fffa3caa	minor fix for git clone logging	2016-08-14 19:34:04 +02:00
Rohit Gupta	cde45da309	minor fix for git-retry logging	2016-08-14 12:37:04 +02:00
Rohit Gupta	d2d8290752	Gitlab CI: command to retry git clone in case of network failure	2016-08-14 12:03:00 +02:00