Commit 75236079c0b50ee24defebe1509f537bae91aefe

Stefan Sperling 2020-03-25T14:30:15

handle refs/remotes/origin/HEAD properly; reported by Matthias aka _xhr_