The source project of this merge request has been removed.
Fix installation of devtoolset-6.
The devtoolset-6 packages were removed in CentOS 7. They are still available on vault.centos.org, but accessing them requires disabling the use of mirrors for that specific repo.