Add isProfileRepoList

[fregante]

We have these detections:

• isUserProfileMainTab
• isUserProfileRepoTab
• isUserProfileStarsTab
• isUserProfileFollowersTab
• isUserProfileFollowingTab

Which nowadays are unnecessarily specific since repository lists are similar in DOM, and will only get more similar (HOPEFULLY):

• https://github.com/fregante?tab=repositories
• https://github.com/orgs/refined-github/repositories

For the same reason I'm not adding an org-specific detection.

I haven't merged this yet to make sure I choose the right name here. I think *Tab was the wrong choice because:

• we don't have isRepoSettingsTab but isRepoSettings
• etc

We can rename those separately, potentially deprecate isUserProfileRepoTab completely.

[kidonng]

Which nowadays are unnecessarily specific since repository lists are similar in DOM, and will only get more similar (HOPEFULLY):

So would you fancy something like this?

const getProfileTab(): 'main' | 'repositories' | 'stars' | ... | undefined

Or is this more suitable to be handled in userspace?

If we are talking about RGH specifically, I think we don't need to care about specific profile tab (i.e. isUserProfile is enough), we need more specific selector to target stuff anyway

[fregante]

That could be useful as a "util" and would be different from a classic detection. Given the rarity, it could be worth it, but we'd lose the automated cross-testing of URLs because that expects true/false.

I think we don't need to care about specific profile tab

I'd be happy to expose your util and deprecate those functions (which we only ever implemented as "just in case" and "doesn't hurt")