55 commits

Author	SHA1	Message	Date
Luca Beltrame	343fb06fb9	Update caches	2016-09-24 21:35:50 +02:00
Luca Beltrame	21fae9fb88	Update caches	2016-09-23 07:35:42 +02:00
Luca Beltrame	8bbc591de7	Update caches, add new repository	2016-09-23 07:20:42 +02:00
Luca Beltrame	2f09e5f4cd	Updated caches	2016-09-22 20:07:20 +02:00
Luca Beltrame	5780e3b6c6	SImplify script so that it queries all repos at once ... Move mapping file to JSON Save a JSON dump of the cache as well (for inspection)	2016-09-21 07:53:10 +02:00