Update kde.org pipeline to git repository (!85) · Merge requests · Sysadmin / Binary Factory Tooling · GitLab

The source project of this merge request has been removed.

Carl Schwan requested to merge (removed):patch-5 into master May 21, 2020