[girvo]

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.

[Allan_Smithee]

"Troll" is like "terrorist" these days. It has absolutely no semantic content beyond "person I disagree with about something".