CI: Repoint git sources to GitHub mirror

No match.