New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Do not include doc in master #9

Open

craff opened this issue Jan 12, 2023 · 0 comments

Labels

documentation enhancement

Contributor

craff commented Jan 12, 2023

This is a risk of partial commit as git commit -p needs manual y/n.

It is better to have a separate branch whose only difference with master is that it includes the doc.

This way the doc branch is easy to rebase on master and you can do that only when you release the package on opam.

bikallem added documentation enhancement labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment