Tree
- Tree:
89e7e3e7c7a002b949a1ee90810b0ffb8d733e4b
- Date:
- Message:
- dumb: Handle HEAD file legacy format Some dumb git servers can send a HEAD file in a legacy format that contains a commit id instead of the string: "ref: <ref_name>". So handle that edge case to avoid an error when loading such repository.