[Github-comments] [geany/geany-plugins] New Plugin, maybe... (mostly) user-interface tweaks. (Issue #1131)

elextr notifications at xxxxx
Wed Nov 10 01:59:43 UTC 2021


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 or view it on GitHub:
https://github.com/geany/geany-plugins/issues/1131#issuecomment-964710861
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20211109/98bd55e1/attachment.htm>


More information about the Github-comments mailing list