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 https://bors.plaid.com/repositories/5/log#batch-18 instead of https://bors.plaid.com:4000/repositories/5/log#batch-18

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.