btw, if it’s useful to anyone else, this is the bash script that I use to deploy all my wp plugins from github to svn:

gist.github.com/georgestephanis/…