repo github url changed to https