CI: Repoint git sources to GitHub mirror