Based on "or so the parent must have thought", I don't think they were being fully serious when they said it was "popular enough". I've seen it brought up pretty much in every conversation around git on Hacker News for the past year or so, and I did make an assumption that most people reading several comments deep into a debate about how important it is to memorize the exact incantations of git commands would be familiar with it. It's largely not relevant to my overall point though; you could replace it with "a different git tool" and it would not really change what I was saying.