Make the Git server port configurable.