Remove git://github.com redirect from CI pipeline

This MR removes the lines in the CI pipeline for git://github.com since we don't need it anymore.

merged

mentioned in commit 570323dc