-
Notifications
You must be signed in to change notification settings - Fork 59
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Simplify permissions. #172
Conversation
Depends on w3c/permissions#138 Depends on w3c/sensors#172 Needs to be rebased once w3c/permissions#138 has landed.
Closes #20. Depends on w3c/permissions#138 Depends on w3c/sensors#172 Needs to be rebased once w3c/permissions#138 has landed.
LGTM. Btw. who maintains the awesome pr-preview tool? |
Me. :) |
Oh, great work! Any plans to roll this out more widely? I've been doing the same manually with http://services.w3.org/htmldiff, which is a pain. |
Ping your W3C staff contact. All it needs is a blanket install on the W3C org. WHATWG and WICG are already using it. |
That said, maybe there's already a blanket install. Add a config file to check. Details are in the README. |
I've now made it available to all repos - hopefully it won't be too much to handle for the service. @tobie let me know if it's preferable to make this a per-repo thing. |
I'm ooo today, so hopefully it doesn't crash the system when I'm not around. Repos need to opt-in with a config file however, so it should be fine. |
Thanks @dontcallmedom. We try not to crash your amazing service @tobie. |
Seems like it's holding up fine so far. |
Closes #20. Depends on w3c/permissions#138 Depends on w3c/sensors#172 Needs to be rebased once w3c/permissions#138 has landed.
Preview | Diff