diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2021-03-30 12:07:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-30 12:07:05 +0200 |
| commit | e7810665a72592de08b61b1e83b150b5282e1e82 (patch) | |
| tree | 98e6e9affbe01bc6ebddad3c06dd6c1b1dd162b6 /.github | |
| parent | 3ab5e8a391febc0bd3a84eea1fe19e6dc6e635c9 (diff) | |
| parent | f2a799b16d193a651f682da3ad2103c20ac82d48 (diff) | |
Merge pull request #4676 from bjornfor/fix-fetchgit-ref-head
fetchGit: don't prefix "refs/heads/" on ref = "HEAD"
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions