Add server with GitHub proxy

Change-Id: I1716d11186658cf1da28ba902c53b30334a59cca