-
Notifications
You must be signed in to change notification settings - Fork 613
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.
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
Remove old release notes as the maintenance policy has changed. #124
Conversation
We can't remove old release notes because it makes it harder to find when a bug was introduced. Merging old-style release notes into History.rdoc would be OK. |
As an alternative, we could put a README in this directory which explains the current policy for release notes. |
This reverts commit 68b3584.
I want to merge doc/release_notes and History.rdoc. After that I will merge this pull request. |
I've merged all release notes into History.rdoc (as I removed some part such as omg, failed... |
I invoke failing test again. It works. |
@satoryu Thank you for your work! |
Old documents sometimes make developers and users confusing like #123 . If the maintainer made a decision they will never provide release notes under
doc/release_notes
and provideHistory.rdoc
instead, the old release notes should be removed.CC: @hsbt @AknEp