support for github enterprise

[neumayr]

Nice Extension 👏

Sadly it does not work on a GitHub Enterprise installation.

Research

The current match patterns don't allow to whitelist a subdomain, like: https://github.*.*/* However this pattern doesn't guarantee success. Enterprise installations can have custom hostname configurations. A custom hostname in options settings make sense, but can't override the matches array.

References

• https://developer.chrome.com/extensions/match_patterns
• https://help.github.com/enterprise/2.11/admin/guides/installation/about-subdomain-isolation/

[glebm]

I don't use GitHub Enterprise but feel free to send a PR adding this feature.

[glebm]

@neumayr Refined GitHub seems to use https://github.com/bfred-it/webext-domain-permission-toggle and https://github.com/bfred-it/webext-dynamic-content-scripts, as per the example in https://github.com/bfred-it/webext-dynamic-content-scripts#usage.

[neumayr]

@glebm Thx for the tips. In theory, it looks simple. I tried and failed on the setup.

[resuna]

Maybe just have a prefs option to add domains you want to apply it to?

[fregante]

@neumayr what was the problem? I recently rewrote them and now you should just need this:

// in background.js
import 'webext-dynamic-content-scripts';
import addDomainPermissionToggle from 'webext-domain-permission-toggle';

addDomainPermissionToggle();

And some adjustments to manifest.json

I also wrote about how it works if you're interested.