Deployer – publish plugins from GitHub to WordPress.org

A tiny service to sync your WordPress plugin code from GitHub to WordPress.org