Markus Wolf c0130ed030 fix: add server_url attribute to github context (#1727) ...

* fix: add `server_url` attribute to github context

The `server_urL` attribute was missing in the `github` context.
Previously it was exposed as environment variable only.

Closes #1726

* fix: also set `api_url` and `graphql_url` attributes

2023-04-13 13:09:28 +00:00

6.8 KiB

Raw Blame History

View Raw