fix: add server_url
attribute to github context
#1727
Merged
server_url
attribute to github context
#1727