git拉取和推送如何指定远程服务器的ssh端口

家里弄了个嵌入式服务器，里面安装了git，申请了动态公网ip，上行速度40Mbps，可比国内的服务器带宽大多了，所以要好好利用起来。但是由于是动态公网ip，因此做了端口映射，指定端口9999到嵌入式服务器的22端口。如何让git push/pull到自家的git服务器呢？百度了一圈没有答案，所以找SO：git remote add with other SSH port - Stack Overflow

git remote set-url origin ssh://[email protected]:9999/home/git/work.git

端口就写到ip地址的冒号后面，然后ssh://一定要加，不加是无效的。完成了。享受40Mbps的带宽去了。