Incorrect URL in Github Health Check

I’ve got Bors-NG configured to add build checks to my PR. The checks show up as expected but they have the wrong URL for Bors. Specifically they missing the port.

So I get instead of

Is this a known issue? Can I fix this by specifying the port in PUBLIC_HOST in the Bors container setup?

Yes, PUBLIC_HOST is used to form the URL. In fact, that’s basically all it’s for.