Stephan ef12e42bdb GitDriver: try to fetch default branch from remote (#10687) ... The initial clone determined what the default branch of the cache git repository was. Changing it on the remote didn't have any impact on the local data. However, cloning it on a different machine would then store a different default branch on that machine. This could lead to different results for the same command on different machines.		2022-04-01 17:13:22 +02:00
..
Test	GitDriver: try to fetch default branch from remote (#10687)	2022-04-01 17:13:22 +02:00