fix(gerrit): explicitly set git provider in server startup#2317

naorpeled merged 1 commit into

mainThe-PR-Agent/pr-agent:mainfrom

fix/gerrit-server-set-providerThe-PR-Agent/pr-agent:fix/gerrit-server-set-providerCopy head branch name to clipboard