IP address for remote upload

Hello,

In my workplace there is a firewall. To open a port for me they ask for the destination IP address and protocol. The latter would be the pio remote protocol, but to what address? http://remote.platformio.org?

Thank you

See

Thank you!
Let you know if it doesn’t work