Le 01/03/13 14:37, Yuri Astrakhan wrote:
The proposalhttp://www.mediawiki.org/wiki/Requests_for_comment/RELEASE-NOTES_botis for a bot to parse commit message for special "commands" to add some text to specific sections of the release-notes file. When bot detects a master merge, it will pull the latest release-notes, change it, and merge it to master right away, avoiding any conflicts.
If the bot messes up, or if a more complex file edit is needed, we can do it through the regular git/gerrit process.
So instead of us just writing to the RELEASE-NOTES we will instead have to pass commands to yet another unstable bot that will do it for us?
What is the added values beside adding overhead to the process?