This repo holds some of the sources for the Permissions API, an interface for Web applications to be able to manage permissions. The latest editor’s draft is at https://w3c.github.io/permissions/