Changing default repo URL.

Addresses issue #4315.