Refined-github: Do not populate name for bots

[electron0zero]

We are using todo bot https://github.com/apps/todo but Refined GitHub populated it's name as user todo https://github.com/todo

[notlmn]

@electron0zero Can you also provide a link to the issue/PR with this issue!?

[electron0zero]

See this issue: https://github.com/nteract/nteract/issues/3381 or any other issue from this search result

[shroudedcode]

I've already fixed this in #959, but for some reason, GitHub has changed the href attribute of the profile link to use the full URL. What was /apps/todo before, is now https://github.com/apps/todo, so my check using .startsWith('/apps/') is no longer working.

[busches]

Changing it to be.includes('/apps/') would fix the issue, no?

[shroudedcode]

@bushes Yes (although it's now a CSS selector, but the idea is the same). Working on a PR right now.