doc: improve doc of Jenkins plugin (#1036)
doc: improve doc of Jenkins plugin (#1036)


Spirals-Team/librepair,Spirals-Team/librepair,Spirals-Team/librepair,Spirals-Team/librepair,Spirals-Team/librepair