Add alias for sourceware_pub, take advantage of public mirroring
Mitigates elements not yet been migrated to Git and as such not covered by #470 (closed)
Edited by Javier Jardón
Mitigates elements not yet been migrated to Git and as such not covered by #470 (closed)