Merge branch 'release/r8p3' into develop
force git clone through ssh-agent with a specified ssh key if the auth-type is 'ssh'
Merge branch 'release/r8p4'