Closed snim2 closed 6 months ago
We will tag any known pro-plugin repos with the repo topic skip-mirror
as well as any others we know are not on wordpress.org
These will be:
-pro
or -premium
in the slugPlugins with -pro
or -premium
in slug (done):
Plugins listed in ops/docs:
More gravity forms:
dxw plugins, these should be deleted or moved to the main org when we do the plugin audit, but they don't need to bother the mirror:
Other weird things:
Will probably need to add these as well
Divi carousel - https://www.divigear.com/plugins/carousel-module/ - dg-divi-carousel Divi disable premade layouts - https://elegantmarketplace.com/downloads/divi-disable-premade-layouts/ - divi-disable-premade-layouts Divi Overlays - https://divilife.com/downloads/divi-overlays/ - divi-overlays Divi Logo manager - https://elegantmarketplace.com/downloads/divi-logo-manager/ - divi-logo-manager
Although we don't have accounts set up for these yet
Thanks Matty. Divi repos all tagged.
Done
In #14 we merged a new script to mirror releases in wordpress.org to repos in this organisation.
This will work for:
It will /not/ work if a plugin on wordpress.org is ahead of the private or pro-version that we wish to mirror.
Ideally we would have a generic way to say that a repository here should be ignored by the mirroring script. Setting a repository topic or other piece of metadata might be a viable option, but there are a lot of repos to manually tag.
/cc @RobjS