Set the github server
Revert "Set the github server"

This reverts commit e92ffbe85542ae42531213f826a153779b692d05.