Changed github url for https