On Monday, 18 February 2013 at 10:55:39 UTC, David Nadlinger
wrote:
On Monday, 18 February 2013 at 10:07:58 UTC, Leandro Lucarella
wrote:
Again, the problem is making the changelog update optional! No
pull
request should be merged if it doesn't include a proper
changelog entry,
that's how it's done.
We tried that in the past, and it lead to tons of merging
errors. They are easy to resolve manually, of course, but still
very annoying because this breaks the GitHub "Merge" button.
David
So maybe every changelog message should be stored in separated
file. The release script would merge those according to the git
history.
