[opam-devel] release scripts

Thomas Gazagnaire thomas at gazagnaire.org
Thu Jun 11 17:44:24 BST 2015


> Does this also do a GitHub release, or just create the tag upstream?

It just create the tag. Creating the GitHub release would imply dealing with diffs in CHANGES files and will require talking to the GitHub API, which is not totally trivial (at least for me :p)

Best,
Thomas


More information about the opam-devel mailing list