Theo-Steiner@theosteiner.deI was today years old when I learned git's HEAD is case-sensitive... thought I was going insane because `git reset head~1` would sometimes hurl me back into prehistoric times 🦕15/10/26, 7:22 am·0 reposts·0 likes