Console Output

[devops] Running shell script
+ cp -Rv v12.0/421/changelog v12.0/421/pool .
'v12.0/421/changelog' -> './changelog'
'v12.0/421/changelog/changelog-devops.html' -> './changelog/changelog-devops.html'
'v12.0/421/pool' -> './pool'
'v12.0/421/pool/devops' -> './pool/devops'
'v12.0/421/pool/devops/osm-devops_12.0.8-1_all.deb' -> './pool/devops/osm-devops_12.0.8-1_all.deb'