Tree
- Tree:
df14ba5dd6c477d954076ecc6b317583ad5e5ff2
- Date:
- Message:
- use a default ref-prefix when fetching with git protocol v2 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