Except he actually has a point. GitHub's default behaviour is broken.
In my years of experience online, trolling was specifically riling someone up by saying things the troll doesn't really believe.
Trolling isn't disagreeing that a workaround is sufficient to ignore an actual issue. But that's just my opinion.
