Closed djeebus closed 5 months ago
when a repo is cloned, it could be cloned with either a named branch OR HEAD. in practice, they could refer to the same branch, and this MR fixes the code so they can be referenced interchangeably, when appropriate.
HEAD
Temporary image deleted.
when a repo is cloned, it could be cloned with either a named branch OR
HEAD
. in practice, they could refer to the same branch, and this MR fixes the code so they can be referenced interchangeably, when appropriate.