Rainer Gerhards 2387c248f3
testbench: change git access protocol to cover github change
github disabled anon access via git protocol, so we need to adjust
this to https

no functional change
2022-03-28 10:11:42 +02:00
..