I didn’t see anything in the documentation and was wondering how to do this. My ssh server uses port 333 instead of the default 22. I tried default_remote = "zaius@example.com:333/home/zaius/code/nixos-configs" but this just causes the pijul push/push commands to hang.