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
Than maybe don't include changelog entry in a pull, but require
that it is supplied with pull description as text, so that
whoever mergers pull, separately pushes it to the branch? I would
be nice if auto-tester could handle it automatically.
