Shell scripts to build community plugins.
Merge in default
Rewrite the thing in Python.
Slightly nicer
Add a target for individual plugin srcdist.
Shhhh
Mark src packages as such, hook into the build process.
Build jsonrpc and friends, build in defined order, actually implement --plugin-tag, support wrapper plugins which already have a git version.
Oops, hg record mistake.
Directory per server version
Nicer handling of stdout/stderr
Add more plugins
Handle build failures correctly.
Add build dir option, tweak destinations a bit.
Deploy script
Merge bug25299