I found that `server_url` works in the `github` context. Perhaps all of the `GITHUB*` environment variables work in the `github` context? Not sure, haven't tested them all.