Andreas Jaeger 0506323c2b Ansible linting fixes
Fix a few problems noticed when using this in project-config:
* Ignore apt-get warning in configure-mirrors
* All tasks should be named in upload-logs, emit-job-header
* use git_config in mirror-workspace-git-repos
* Ignore git warnings in mirror-workspace-git-repos

Change-Id: Ibcdc8d5a42fb081b5faa0cc89460e4cf88d369ba
2017-10-27 19:18:15 +02:00
..
2017-10-27 19:18:15 +02:00
2017-10-27 19:18:15 +02:00
2017-10-27 06:10:31 +02:00
2017-10-09 08:32:45 -05:00
2017-10-25 13:17:16 +00:00
2017-09-02 14:17:32 -05:00
2017-10-27 19:18:15 +02:00
2017-10-09 15:41:20 -05:00
2017-10-27 06:10:31 +02:00