IP address for remote upload


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


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