Put obsolete repositories to the end
Passed
Lorenz Huedepohl
created pipeline for commit
9f071f14
, finished
For master
10 seconds, queued for 0 seconds