You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
HTTPServer unfortunately is either IPv4 or IPv6. On the server that is running the bot, the domain resolves to IPv6, so with the recent changes, it now bound to IPv6. GitHub, however wants to do IPv4, it seems, so delivery failed.
Ideally, the bot should bind to both IPv4 and IPv6 interfaces, if available.
Possible configuration keys: github_host (the current key) for "use whatever, I don't care", github_host4 for "IPv4 host to bind to" and github_host6 for "IPv6 host to bind to"?
Separate ports too?
The text was updated successfully, but these errors were encountered:
HTTPServer unfortunately is either IPv4 or IPv6. On the server that is running the bot, the domain resolves to IPv6, so with the recent changes, it now bound to IPv6. GitHub, however wants to do IPv4, it seems, so delivery failed.
Ideally, the bot should bind to both IPv4 and IPv6 interfaces, if available.
Possible configuration keys:
github_host
(the current key) for "use whatever, I don't care",github_host4
for "IPv4 host to bind to" andgithub_host6
for "IPv6 host to bind to"?Separate ports too?
The text was updated successfully, but these errors were encountered: