fix the github repo going down