> 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 _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
