Removing old repository. Redirecting users to the KDE infrastructure