Martin Thomson wrote: > If you use GitHub and continuous integration, all have to do is tag > the repository and push the tag, and you should receive a confirmation > email within a few minutes. Damn, that is nice! Well done. This is really useful. Nick