[girvo]

How is having a differing opinion "trolling"? Seriously, this word has lost all meaning at this point.

[akerl_]

Ignoring the suggested workarounds (setting a unique primary extension and then having the correct extension in the array, for instance) and continuing to rampage in the comments in an attempt to stir up the masses seems like the canonical example of trolling an online community.

[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".