Tree
- Tree:
9684a6b6998472c00e6ab28006feffef3e857f09
- Date:
- Message:
- use a default ref-prefix when fetching with git protocol v2 (#1404) Github's SSH git protocol v2 server returns a useless reference list which only contains "HEAD" unless we explicitly ask for the "refs/" prefix. Fixes issue #1389