Instruction for the maintainers In order to publish a new version, simply push a version-like tag (eg 1.2.3).