[Qa-jenkins-scm] Build failed in Jenkins: reproducible_html_pkg_sets #53864

jenkins at jenkins.debian.net jenkins at jenkins.debian.net
Sun Jul 22 01:00:45 BST 2018


See <https://jenkins.debian.net/job/reproducible_html_pkg_sets/53864/display/redirect>

------------------------------------------
[...truncated 3.79 MB...]
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-22 00:00:43] INFO: Creating meta pkgset page for build-essential-depends in buster/amd64.
Traceback (most recent call last):
  File "/srv/jenkins/bin/reproducible_html_pkg_sets.py", line 328, in <module>
    create_pkgset_page_and_graphs(suite, arch, stats, pkgset_name)
  File "/srv/jenkins/bin/reproducible_html_pkg_sets.py", line 284, in create_pkgset_page_and_graphs
    left_nav_html=left_nav_html)
  File "/srv/jenkins/bin/rblib/html.py", line 151, in write_html_page
    fd.write(html)
OSError: [Errno 28] No space left on device
[2018-07-22 00:00:43] INFO: Finished at 2018-07-22 00:00:43.769522, took: 0:00:42.455171
Build step 'Execute shell' marked build as failure



More information about the Qa-jenkins-scm mailing list