johl/gerrit-review-leaderboard — pull request #3 by jooyunghan (2012-12-18 04:46:00+00:00)
Title: '--port' is extracted as an option.

Sometimes port of gerrit is customized.