Update for new repo name.

[ci skip]