Update github repo pointer.

@jtauber pls review.