All this is an increasingly automated process: I still have to publish the release post and update the changelog manually, but pretty much everything else can be done with a couple of tweaks to a config file and one shell command: rake tarski:update (actually you can just do rake since tarski:update is the default task).

You can now download my toolset from GitHub. Obviously to do so you’ll need Git, as well as Ruby and Rake to run it. If you have any questions, suggestions or bug reports, please let me know in the comments.