Revert "CI: Repoint git sources to GitHub mirror"

No match.