Replace savannah bugs by corresponding JIRA tasks (@pkoppenb)

added Documentation all-slots cleanup labels

• [2020-09-08 00:08] Validation started with lhcb-stripping24r2-28r2-patches#180
• [2020-09-08 00:14] Validation started with lhcb-2018-patches#908

removed all-slots label

merged

mentioned in commit 778c05de

picked the changes into the branch cherry-pick-778c05de with commit 751037eb

mentioned in commit 751037eb

mentioned in merge request !694 (merged)

picked the changes into the branch cherry-pick-778c05de-2 with commit ec9ad34a

mentioned in commit ec9ad34a

mentioned in merge request !695 (merged)

picked the changes into the branch cherry-pick-778c05de-3 with commit bd144244

mentioned in commit bd144244

mentioned in merge request !696 (merged)

mentioned in merge request !697 (merged)