Ability to customize what label(s) are considered bugs

[dead-claudia]

Some projects use a convention other than "bug"/"Bug"/etc.

• Mithril uses "Type: Bug"
• TypeScript used "Type: Bug" and variants of it in the past.

This is explicitly not a dupe of #2816 (which is arguably itself a bug), but a feature request. Not sure what the hooks involved would be, though.

[fregante]

I know this is a limitation, but simply the repos that aren’t standard aren’t covered by Refined GitHub. That’s why no tab is shown at all when label:bug issues aren’t found.

Such configuration would have to be configured per-repo or would have to extend the query for every repo. Neither one is ideal.

An ad-hoc extension would be more appropriate for this purpose.

[dead-claudia]

Okay. (FWIW, I'm tempted to disable the bugs bit anyways - it's not useful for my workflow.)

[mainrs]

An ad-hoc extension would be more appropriate for this purpose.

Could you elaborate on how an ad-hoc extension would be able to do this? Do you mean another browser extension on top of refined github (if that is even possible) or a custom fork?

[fregante]

I mean a whole new extension unrelated to Refined GitHub. How it actually does it is irrelevant in this repo since it’s why it’s not being implemented here (i.e. not straightforward and likely needs options or API calls)