= HOWTO

== Make a release

Beforehand, check `grep deprecated -r src` to see whether some functions
can be removed.

1. `make test`
2. update version in `_oasis`
3. `make update_next_tag` (to update `@since` comments; be careful not to change symlinks)
4. check status of modules (`{b status: foo}`) and update if required;
   removed deprecated functions, etc.
5. update `CHANGELOG.md` (see its end to find the right git command)
6. commit the changes
7. `git checkout stable;  oasis setup`
8. `git merge master`
9. tag, and push both to github
10. new opam package

== List Authors

  `git log --format='%aN' | sort -u`

== Subtree

If gen is https://github.com/c-cube/gen.git[this remote]:

  git subtree pull --prefix gen gen master --squash