This is an old revision of the document!
you could involve jenkins if you want. Or use SCP.
$scp <filename> <username>@<server>:<destinationpath>
and of course if you have a directory, use -r, and maybe /* to get only the files in the directory. (lest you wind up with a lot of publish/publish type situations)
$scp -r <directory>/* <username>@<server>:<destinationpath>