Its not defined anywhere I am aware of, but my understanding is if you are the plugin maintainer its sort of up to you, you still have to make PRs so that the collection manager or someone else can check before merge it doesn't accidentally break the collection (the downside of everything being in one repository with a common build), but they have usually gotten merged fairly promptly then.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.