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