convert github example to https