fix github server address