[Documentation] Add port to gerrit URL
[Documentation] Add port to gerrit URL

Change-Id: I494089385ee006f259c4761e1e73d21301e57825

sillsdev/ci-builder-scripts,sillsdev/ci-builder-scripts,sillsdev/ci-builder-scripts