Tarski Utilities on GitHub

Putting out a new release of Tarski involves a fair few elements: tagging a new release in Subversion, creating a zip file and moving that to the downloads directory, updating the changelog, writing a release post, and finally updating the version feed so that existing users get notified about the new version.

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.