Revert "CI: Repoint git sources to GitHub mirror"