Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 40 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
WordPress Develop, Git-ified. Synced from git://develop.git.wordpress.org/, including branches and tags! This repository is just a mirror of the WordPress subversion repository. Please do not send …
Protects symlinked plugins with a .git folder from being deleted using the WordPress plugins page.
Child Themes Helper
Search and optionally delete options in the wp_options table. This is a tool for developers only.