Fix to use github repo