doc: how to upgrade the repairnator pipeline (#1035)
doc: how to upgrade the repairnator pipeline (#1035)


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